Configure o servidor proxy na linha de comando

Question

Estou usando o Ubuntu 18.04. Quero configurar um servidor proxy para todos os usuários. Aqui está o que eu tenho:

$ 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"

Se eu abrir agora, por exemplo, o Firefox, não consigo acessar nenhum site. Quando vou para as configurações de rede, ainda vejo "Proxy de rede" como "Desligado". Depois de configurá-lo para "Manual" e digitar as configurações de proxy acima, posso me conectar à Internet com o Firefox.

Como posso configurar um proxy nas configurações de rede na linha de comando?

Answer 1

Quando usei proxy há alguns anos, usei esses comandos no 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

E você pode verificar esta configuração fazendo "env | grep proxy". Pelo menos na linha de comando funcionou para mim.