Como de costume, acho que ninguém se importou em integrar todas as configurações de comunicação dos programas usados no Linux / Ubuntu, o que é uma pena.
Em 11.10 você tem configurações do sistema em vários locais:
/ etc / environment
...
http_proxy="user:[email protected]:port
...
/etc/apt/apt.conf.d/02/proxy
O comando apt
tem suas configurações neste arquivo:
Acquire::http::proxy "http:/user:[email protected]:port"
/ etc / wgetrc
O comando wget
tem suas configurações neste arquivo seguindo o mesmo formato do arquivo /etc/environment
mencionado acima.
http_proxy="user:[email protected]:port
Se o 12.04 tiver a mesma configuração de arquivo que 11.10 em relação a esses três programas, você poderá editar esses arquivos para o servidor.
Eu tinha um arquivo de script para alterar todas essas coisas em 11,10 entre meu trabalho e minha casa, mas agora não estou usando esse script até saber mais detalhes sobre como o 12.04 trabalha com esses problemas.