Windowsのコマンドプロンプトでhttp proxyを設定する

Windows OS かつ http proxy の環境で、vagrantを使用する場合等の話。

vagrantの場合、vagrant box add や vagrant plugin install の実行は外部サーバに接続するため、http proxyを経由させねばなりません。

そのような場合には、Windowsのコマンドプロンプトで以下を実行してプロキシを設定してからvagrantのコマンドを実行すればOK。

set http_proxy="http://yourproxyhost:port"
set https_proxy="http://yourproxyhost:port"

vagrant box add XXXXX

簡単なことだけどWindows環境のhttp proxy設定はすぐに忘れるのでメモを残しておく。 proxy環境は面倒事が多くてツラい。（proxyを考慮してないソフトウェアも多いので。）。

それよりも何よりもWindowsのコマンドプロンプトがあまりに使いづらくて引く。