僕の学校では、学校のネットワークから外へ出ていくためにはプロキシと通す必要があります。 しかし、学内にあるサーバへは直接接続しなければなりません。
これを行うには no_proxy という環境変数を設定すればよいようです。
# Proxy 設定
export http_proxy=http://example.com:port/
export ftp_proxy=http://example.com:port/
export HTTP_PROXY=http://example.com:port/
export FTP_PROXY=http://example.com:port/
# 除外したいドメイン
export no_proxy=localhost,.example.com
no_proxyにカンマ区切りで除外したいホストを列挙します。
この設定を .bash_profile などに書いておけば、起動時に反映されるようになります。
全く・・・プロキシ面倒・・・。