1: Abra uma janela de terminal e digite o seguinte comando
sudo gedit /etc/environment
2: Copie as seguintes linhas no seu arquivo /etc/environment
e modifique de acordo.
http_proxy=http://user:password@proxy:port/
https_proxy=http://user:password@proxy:port/
ftp_proxy=http://user:password@proxy:port/
no_proxy="localhost,127.0.0.1"
HTTP_PROXY=http://user:password@proxy:port/
HTTPS_PROXY=http://user:password@proxy:port/
FTP_PROXY=http://user:password@proxy:port/
NO_PROXY="localhost,127.0.0.1"
3: salve suas alterações e faça logout e login.
4: Se o seu comando apt-get
ainda não conseguir acessar a Internet, execute
sudo gedit /etc/apt/apt.conf.d/95proxies
e copie as seguintes linhas e modifique de acordo
Acquire::http::proxy "http://user:password@proxy:port/";
Acquire::ftp::proxy "ftp://user:password@proxy:port/";
Acquire::https::proxy "https://user:password@proxy:port/";
5: mais uma vez salve suas alterações e faça logout e login.
P.S: Você pode ter que excluir /etc/apt/apt.conf.d/environment
. Não é um local para armazenar as variáveis de ambiente. Além disso, não existe esse arquivo no meu sistema.