背景
Vagrant box のダウンロードが異様に遅い時がある。
3 年前くらいに issue が報告され (https://github.com/hashicorp/vagrant/issues/5319 )、vagrant は悪くねーよということでクローズされたが、根本原因は不明のままで未だに同様の問題で困っている人たちがそこそこいるようだ (自分も含め)。
雑に解決したので、メモとして残しておく。
雑な解決策
1. 対象の Box の URL を雑に取得する
例えば、centos/7 が欲しい時、% vagrant box add centos/7 というコマンドをシェルで叩くと、コンソールに Downloading: {Box の URL} のような行が表示されるので、その URL をコピペして Ctrl-C。
2. wget
1 で手に入れた URL から Box を wget などでダウンロードする。
wget ${Box の URL}
なんか速い。
3. vagrant に Box を追加
vagrant box add centos/7 ${ダウンロードした Box のパス}