wgetでproxyを指定する。
English Post is Use wget via proxy
proxy経由でしか外が見えない場合のproxy指定方法
以下の内容で~/.wgetrcを作成しproxyを設定する。
http_proxy=PROXY_SERVER:PORT
環境変数http_proxyに設定する方法もある。どう考えてもこっちのほうが楽。当然ながらProxyサーバーの指定にはhttp://を忘れないように(昔忘れてうまくいかないと嘆いていた)
export http_proxy="http://プロキシサーバー名:ポート/"
その後は普通にwgetすればよい。
せっかくなのでほかのテクニックを
複数のファイルを一度に取得する(-i)
wget -i URLを列挙したファイル名
出力ファイル名を指定する(-o)
wget -o ファイル名 取得ファイル先URL