Não há opção 'Aplicar todo o sistema'. Tenho que alterar manualmente o arquivo /etc/apt/apt.conf toda vez que configuro ou desativa o proxy.
Como faço para configurá-lo para que aplique as configurações de proxy em todo o sistema - com o apt.conf atualizando de acordo no Ubuntu 18.04?
EDIT :
Apesar de configurar o apt.conf manualmente, não consigo instalar nada pelo Ubuntu Software porque surge um erro "Proxy não suportado configurado: proxy.server.com//8080". Como faço para corrigir isso?
networking
18.04
proxy
Tentativas
fonte
fonte
http://
na frente do nome do host, tudo o mais irrita aptRespostas:
Defina os detalhes do proxy nas variáveis de ambiente;
Edite
/etc/environment
e adicione as seguintes linhas (substitua nome de usuário, senha, host e porta pelos detalhes do seu proxy).Para o apt, centro de software & etc;
edite
/etc/apt/apt.conf.d/80proxy
(se não existir, crie-o) e adicione as seguintes linhasfonte
O 18.04 usa o GNOME como o gerenciador de desktop padrão, embora eu prefira o Unity, que foi usado em várias versões anteriores do LTS. Quando instalei e mudei para o Unity, a opção "aplicar todo o sistema" foi restaurada no menu de configurações de rede / proxy.
Para alternar para o Unity, execute
sudo apt update && sudo apt install ubuntu-unity-desktop
e selecione alightdm
opção quando solicitado. Eu tive que primeiro editar/etc/environment
manualmente para incluir meu servidor proxy antes que o apt pudesse acessar os repositórios para a atualização / instalação. Este link fornece uma descrição detalhada de como mudar para o Unity.fonte
Não encontrei nenhuma informação de proxy,
/etc/environment
mesmo/etc/apt/apt.conf.d/80proxy
porque informei o valor do proxy na instalação.Acho que é sobre este arquivo:
/etc/apt/apt.conf.d/90curtin-aptproxy
.fonte