wgetをプロキシ経由で利用する
.wgetrcに、http_proxyの設定する。
man には載っていなかったのでメモ。
http_proxy=http://<server_name>:<port>
http_proxy = string
GNU Wget 1.16.2 Manual: Wgetrc Commands
Use string as http proxy, instead of the one specified in environment.
no_proxy = string
Use string as the comma-separated list of domains to avoid in proxy loading, instead of the one specified in environment.