転職したところは Windows で Proxy を挟まないと外に出られない環境だった……
こんな環境だと Vagrant を使うのも一苦労です。
vagrant box addやvagrant plugin installを実行する時は外部のサーバーに接続するため、 Proxy を挟まないといけません。
コマンドプロンプトで下記のようなコマンドを打ってやると Proxy の設定ができます。
set HTTP_PROXY=http://USERNAME:PASSWORD@proxy.example.com:PORT_NUM
set HTTP_PROXY=http://USERNAME:PASSWORD@proxy.example.com:PORT_NUMユーザー名やパスワードがいらない時はこういう感じでOK
set HTTP_PROXY=http://proxy.example.com:PORT_NUM
set HTTPS_PROXY=http://proxy.example.com:PORT_NUM設定の確認は以下のコマンドを実行すればOK
echo %HTTP_PROXY%
echo %HTTPS_PROXY%やっぱコマンドプロンプト使いにくい……