Anladığım kadarıyla, proxy'leri sistem genelinde bu GUI aracılığıyla ayarlamak üç şey yapar:
- Dconf veritabanında ilgili değerleri ayarlayın.
- İçindeki değerleri ayarlayın
/etc/environment
.
- İçindeki değerleri ayarlayın
/etc/apt/apt.conf
.
1 ve 3 hemen etkili olur. /etc/environment
girişte ayrıştırılır, bu nedenle etkinleşmesi için oturumu kapatmanız ve giriş yapmanız gerekir. (Bunun yalnızca oturum açma kabuğu çalıştırmadığı gibi oturum açma işleminin uygun olduğunu unutmayın.) Aşağıdaki komut dosyası eşdeğer olmalıdır (http / https proxy'leri varsayarak):
#! /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
PAM'ın /etc/environment
her yere uygulanması için yeniden oturum açmayı gerektirse de, geçerli bir kabukta bu dosyadaki değerleri yine de ayıklayabilirsiniz:
export http_proxy=$(pam_getenv http_proxy)
sudo service network manager restart
.