LinuxでProxyの設定
Linuxでproxyを設定する場合、何かファイルに書いておいて、それがログイン時に環境変数に読み込まれるようにすればいい。
$ more /etc/profile.d/proxy.sh export http_proxy=http://user_name:password@host:port/ export HTTP_PROXY=http://user_name:password@host:port/ export ftp_proxy=http://user_name:password@host:port/ export FTP_PROXY=http://user_name:password@host:port/ export no_proxy=localhost export NO_PROXY=localhost