他の方の回答にあるように、システムを全く見ないプログラムもありますので、個別に設定する必要があるかもしれません。例えば、wgetには多くのプロキシオプションがあり、実行中に環境のプロキシ設定を無視したり、適応させたりすることができます。ここでは、システムのプロキシを設定できる領域をいくつか紹介します。
$ cat /etc/environment
PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games"
http_proxy="http://192.168.1.250:8080/"
ftp_proxy="ftp://192.168.1.250:8080/"
https_proxy="https://192.168.1.250:8080/"
統一された設定はありません。
$ env | grep -i proxy
NO_PROXY=localhost,127.0.0.0/8,127.0.1.1
http_proxy=http://192.168.1.250:8080/
FTP_PROXY=ftp://192.168.1.250:8080/
ftp_proxy=ftp://192.168.1.250:8080/
all_proxy=socks://192.168.1.250:8080/
ALL_PROXY=socks://192.168.1.250:8080/
HTTPS_PROXY=https://192.168.1.250:8080/
https_proxy=https://192.168.1.250:8080/
no_proxy=localhost,127.0.0.0/8,127.0.1.1
HTTP_PROXY=http://192.168.1.250:8080/
bashで一度に全ての変数を設定したり解除したりできます。
$ export {http,https,ftp}_proxy="http://proxy-server:port"
$ unset {http,https,ftp}_proxy
$ export {HTTP,HTTPS,FTP}_PROXY="http://proxy-server:port"
$ unset {HTTP,HTTPS,FTP}_PROXY
ショートカットを追加することもできます。
# Set Proxy
function setproxy() {
export {http,https,ftp}_proxy="http://proxy-server:port"
export {HTTP,HTTPS,FTP}_PROXY="http://proxy-server:port"
}
# Unset Proxy
function unsetproxy() {
unset {http,https,ftp}_proxy
unset {HTTP,HTTPS,FTP}_PROXY
}
$ . ~/.bashrc
または
$ source ~/.bashrc
詳細は[S]hell Hacksを参照してください。
GUIプログラムのプロキシを変更したい場合、Gnomeの “システム "プロキシ設定を使用していれば成功するかもしれません。これらはコントロールパネルから設定できるプロキシ設定です。
gconftool で現在の設定を確認して変更することができます。
$ gconftool-2 -a /system/http_proxy
ignore_hosts = [localhost,127.0.0.0/8,*.local]
authentication_user =
authentication_password =
use_authentication = false
use_http_proxy = true
port = 8080
host = http://myproxy.mydomain.org/
プロキシをオフにするには - usehttpproxy to false:
$ gconftool-2 -t bool -s /system/http_proxy/use_http_proxy false
上の -a
行で結果を確認できます。あるいは、新しいプロキシを設定します。
$ gconftool-2 -t string -s /system/http_proxy/host "http://newproxy.mydomain.org/"
$ gconftool-2 -t int -s /system/http_proxy/port 8088
上に書いたことがすべてうまくいかない場合
これでうまくいきました。
etc/environment から {httpproxy, httpsproxy} などをすべて削除することができます。