Configurar el servidor proxy desde la línea de comando

Question

Estoy usando Ubuntu 18.04. Quiero configurar un servidor proxy para todos los usuarios. Esto es lo que tengo:

$ cat /etc/environment
> http_proxy="http://proxy.foo.com:8080"
> https_proxy="http://proxy.foo.com:8080"
> no_proxy="localhost, 127.0.0.1, *.foo.com"

Si ahora abro, por ejemplo, Firefox, no puedo acceder a ningún sitio web. Cuando voy a Configuración de red, todavía veo "Proxy de red" como "Desactivado". Después de configurarlo en "Manual" y escribir la configuración del proxy desde arriba, puedo conectarme a Internet con Firefox.

¿Cómo puedo configurar un proxy en la Configuración de red desde la línea de comando?

Answer 1

Cuando usé proxy hace algunos años usé esos comandos en la terminal:

set http_proxy=http://proxy.foo.com:8080
set https_proxy=http://proxy.foo.com:8080
export http_proxy=http://proxy.foo.com:8080
export https_proxy=http://proxy.foo.com:8080

Y puedes verificar esta configuración haciendo "env | grep proxy". Al menos para la línea de comandos funcionó para mí.