回答:
他の回答では、システムをまったく見ないプログラムがいくつかあるので、それらを個別にセットアップする必要があるかもしれません。たとえば、wgetには多数のプロキシオプションがあり、実行中に環境プロキシ設定を無視または調整するために使用できます。以下に、システムプロキシを設定できる領域をいくつか示します。
一部のLinuxシステムは/ etc / environmentを使用します
$ 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/ 〜/ .bashrcをチェックアウトすると、システムの起動時に設定が自動的に適用されます。
$ man env
$ man set
$ # The file section near the end of the bash manual.
$ man bash
FILES
/bin/bash
The bash executable
/etc/profile
The systemwide initialization file, executed for login shells
/etc/bash.bashrc
The systemwide per-interactive-shell startup file
/etc/bash.bash.logout
The systemwide login shell cleanup file, executed when a login
shell exits
~/.bash_profile
The personal initialization file, executed for login shells
~/.bashrc
The individual per-interactive-shell startup file
~/.bash_logout
The individual login shell cleanup file, executed when a login
shell exits
~/.inputrc
Individual readline initialization file典型的なコマンドラインソフトウェアとHTTPプロキシについて話していると仮定します。
ほとんどのコマンドラインツールは、環境変数からこれを選択するHTTP_PROXYため、コマンドを実行する前に：
unset HTTP_PROXY
ソフトウェア/プラットフォームには多少の違いがありますが、必要な場合unset http_proxyもあります。
多くのプログラムはこの情報を独自の設定ファイルに保存し、環境を無視する可能性が高いため、ケースバイケースで対処する必要があることに注意してください。
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ショートカットを追加することもできます~/.bashrc：
# 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をリロードすることを忘れないでください：
$ . ~/.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/プロキシをオフにするには-use_http_proxyを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から{http_proxy、https_proxy}などをすべて削除できます。sudo gedit / etc / environmentを実行し、それらのプロキシをすべて手動で削除して保存します。