Pelo que entendi, a configuração de proxies em todo o sistema por meio dessa GUI faz três coisas:
- Defina os valores correspondentes no banco de dados dconf.
- Defina os valores em
/etc/environment
. - Defina os valores em
/etc/apt/apt.conf
.
1 e 3 entram em vigor imediatamente. /etc/environment
é analisado no login, portanto, você precisará efetuar logout e login para que isso seja efetivado. (Observe que este é o login correto, não apenas executando um shell de login).
O script a seguir deve ser equivalente (assumindo proxies http / https):
#! /bin/bash
HTTP_PROXY_HOST=proxy.example.com
HTTP_PROXY_PORT=3128
HTTPS_PROXY_HOST=proxy.example.com
HTTPS_PROXY_PORT=3128
gsettings set org.gnome.system.proxy mode manual
gsettings set org.gnome.system.proxy.http host "$HTTP_PROXY_HOST"
gsettings set org.gnome.system.proxy.http port "$HTTP_PROXY_PORT"
gsettings set org.gnome.system.proxy.https host "$HTTPS_PROXY_HOST"
gsettings set org.gnome.system.proxy.https port "$HTTPS_PROXY_PORT"
sudo sed -i.bak '/http[s]::proxy/Id' /etc/apt/apt.conf
sudo tee -a /etc/apt/apt.conf <<EOF
Acquire::http::proxy "http://$HTTP_PROXY_HOST:$HTTP_PROXY_PORT/";
Acquire::https::proxy "http://$HTTPS_PROXY_HOST:$HTTPS_PROXY_PORT/";
EOF
sudo sed -i.bak '/http[s]_proxy/Id' /etc/environment
sudo tee -a /etc/environment <<EOF
http_proxy="http://$HTTP_PROXY_HOST:$HTTP_PROXY_PORT/"
https_proxy="http://$HTTPS_PROXY_HOST:$HTTPS_PROXY_PORT/"
EOF
Mesmo que seja necessário um novo login para o PAM para aplicar /etc/environment
em todos os lugares, em um shell atual você ainda pode extrair os valores nesse arquivo:
export http_proxy=$(pam_getenv http_proxy)