Ok, apenas resolvi isso. Adicionar a linha a seguir a /etc/apt/apt.conf
resolveu o problema:
Acquire::http::proxy "http://10.1.3.1:8080/";
Se o arquivo não existir, crie-o. Não confunda com o diretório apt.conf.d.
Eu tentei alterar minhas configurações de proxy em um terminal como:
export HTTP_PROXY=http://10.1.3.1:8080
e
export http_proxy=http://10.1.3.1:8080
mas quando eu tento instalar um novo pacote ou atualizo o apt-get, o apt-get começa exibindo mensagens das quais parece que está tentando se conectar a um proxy definido anteriormente:
sudo apt-get update
0% [Connecting to 10.1.2.2 (10.1.2.2)] [Connecting to 10.1.2.2 (10.1.2.2)
Eu tentei configurar o proxy por meio do arquivo bashrc, mas também do trabalho dinâmico. Tanto quanto eu me lembro 10.1.2.2 foi definido usando o GNOME GUI, mas eu não tenho acesso à GUI agora, então estou tentando configurá-lo do terminal.
Ok, apenas resolvi isso. Adicionar a linha a seguir a /etc/apt/apt.conf
resolveu o problema:
Acquire::http::proxy "http://10.1.3.1:8080/";
Se o arquivo não existir, crie-o. Não confunda com o diretório apt.conf.d.
O arquivo:
/etc/environment
É o local correto para especificar variáveis de ambiente em todo o sistema que devem estar disponíveis para todos os processos. Consulte link para obter detalhes. Note que este não é um arquivo de script, mas um arquivo de configuração.
Se você quer isto somente para o comando especificado, use (como root):
http_proxy=http://10.1.3.1:8080 apt-get update
Edite seu:
gedit /etc/profile
Digite os detalhes neste formato.
export http_proxy=http://username:password@proxyhost:port/
export ftp_proxy=http://username:password@proxyhost:port/
Em seguida, execute o
sudo apt-get update
Isso deve ser feito para você.
Como dito acima, você pode inserir o proxy no apt.conf (Crédito do Piyush)
Tags apt