<Linux, Bash> Proxyの設定

Linux BashProxyを設定する。
コマンドによって、Proxy環境変数を、
大文字で期待しているものと、小文字のものがある。
ちとはまる。。。

.bashrcに次を書き込む。

export HTTP_PROXY=http://hogehoge.hagehage.com:8080
export HTTPS_PROXY=http://hogehoge.hagehage:8080
export FTP_PROXY=http://hogehoge.hagehage:8080

export http_proxy=http://hogehoge.hagehage:8080
export https_proxy=http://hogehoge.hagehage:8080
export ftp_proxy=http://hogehoge.hagehage:8080

こちらでお世話になった。
lambdalisue.hatenablog.com