Linux Mint

sudo gedit /etc/apt/apt.conf.d/30proxy

Acquire::http::proxy "http://IP:8080/";

Acquire::ftp::proxy "ftp://IP:8080/";

Acquire::https::proxy "https://IP:8080/";