No existe la opción 'Aplicar en todo el sistema'. Tengo que cambiar manualmente el archivo /etc/apt/apt.conf cada vez que configuro o desarmado proxy.
¿Cómo lo configuro para que aplique la configuración de proxy de todo el sistema, con apt.conf actualizando en consecuencia en Ubuntu 18.04?
EDITAR :
A pesar de configurar apt.conf manualmente, no puedo instalar nada a través del software de Ubuntu porque aparece un error de "proxy no compatible configurado: proxy.server.com//8080". ¿Cómo puedo solucionar esto?
http://
delante del nombre de host, todo lo demás irrita apt