Buka terminal, edit file di /etc/environment
dengan editor kesayangan anda:
sudo gedit /etc/environment
tambahkan baris berikut untuk setting proxy (sesuaikan dengan setting proxy di tempat anda):
http_proxy=http://myproxy.server.com:8080/
https_proxy=http://myproxy.server.com:8080/
ftp_proxy=http://myproxy.server.com:8080/
no_proxy="localhost,127.0.0.1,localaddress,.localdomain.com"
HTTP_PROXY=http://myproxy.server.com:8080/
HTTPS_PROXY=http://myproxy.server.com:8080/
FTP_PROXY=http://myproxy.server.com:8080/
NO_PROXY="localhost,127.0.0.1,localaddress,.localdomain.com"
setting untuk apt-get dan update manager, buatlah file 95proxies di /etc/apt/apt.conf.d
dengan baris berikut (sesuaikan dengan setting proxy di tempat anda):
Acquire::http::proxy "http://myproxy.server.com:8080/";
;
Acquire::ftp::proxy "ftp://myproxy.server.com:8080/";
Acquire::https::proxy "https://myproxy.server.com:8080/"
lakukan reboot dan setting proxy selesai, semoga bermanfaat 🙂