はじめに
mac OS Xでプロキシ設定は、「設定」→「ネットワーク」→「（デバイスを選択）」→「詳細ボタン」→「プロキシタブ」→「（プロトコルを選択）」としたところにある。
一般のアプリはこの設定を参照するのだが、ターミナルから実行するUnix系のコマンドはこの設定を使わないのでそのままではプロキシ越しにインターネットに接続できない。
HomeBrewとかPipとかのパッケージマネージャーは、インターネットに接続しに行くので、プロキシ設定ができていないと環境構築もままならない。
自宅ならプロキシ設定なんかいらないのだが、職場には認証付きプロキシがあって苦労したので、メモしておく。
各コマンドのプロキシ設定
bash
環境変数HTTP_PROXYとHTTPS_PROXYに設定する。
host.na.meはプロキシサーバの名前にする。
[]内は省略できる。
export HTTP_PROXY='http://[username:password@]host.na.me[:port]'
export HTTPS_PROXY='https://[username:password@]host.na.me[:port]'
~/.bash_profileや~/.shrcにも書いておく。
pip（python）
環境変数HTTP_PROXYとHTTPS_PROXYを使う。
curl, HomeBrew
curlの設定ファイル"~/.curlrcに、プロキシユーザとプロキシサーバを書く。
proxy_user="user_name:password"
proxy=http://host.na.me[:port]
その他
また何かあったら更新します。