インフラエンジニアbacchiのわかったことまとめ

bacchi.me

コマンドプロンプトでProxyの設定をする

転職したところは Windows で Proxy を挟まないと外に出られない環境だった……

こんな環境だと Vagrant を使うのも一苦労です。

vagrant box addvagrant 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%

やっぱコマンドプロンプト使いにくい……

  • B!