Erlangを会社のWindowsマシンにインストールしようとして、
http://www.erlang.org/download/otp_win32_R16B03.exe
をダウンロードしようとしたところ、どうにもプロキシで接続タイムアウトになってしまう。
そんなときには、curlの-rオプションを使って、分割ダウンロードするとうまくいくことがあります。
% curl -r 5 -o otp_win32_R16B03.exe http://www.erlang.org/download/otp_win32_R16B03.exe
というように分割数を指定するだけです。
- 相手側のWebサーバがContent-Rangeヘッダを有効にしていること
- 分割数を大きくし過ぎると、プロキシにも相手側サーバにも迷惑かかるので程々にすること
が注意点です。