curl コマンドにプロキシを通す方法
curl コマンド利用時にプロキシを通す必要がある場合は、~/.curlrc に書くのが楽そうだった。
$ cat ~/.curlrc
proxy=http://my-proxy.jp:8000
こんな風に、proxy= 項目を書いたファイル .curlrc を置いておくだけで良い。
その他のやり方は
-x(--proxy) オプションで指定する- 環境変数
HTTP_PROXYおよびHTTPS_PROXYをexportしておく
などだが、.curlrc ならこのファイルの有無だけで設定を切り替えられるので楽だろう。