Windowsのcmd(コマンドプロンプト)でプロキシを通すコマンドのメモ。
プロキシはset http_proxy=http://[username]:[password]@[url]:[port], set https_proxy=http://[username]:[password]@[url]:[port]で設定出来る。
例えば、username: hoge, password: hogehoge, url: hogehogehoge.hoge, port: 8080のときのhttp_proxyの設定はset http_proxy=http://hoge:hogehoge@hogehogehoge.hoge:8080となる。
認証が不要の場合は[userneme]:[password]@が省略できset http_proxy=http://hogehogehoge.hoge:8080、ポート番号を指定しない場合は:[port]が省略できset http_proxy=http://hoge:hogehoge@hogehogehoge.hoge、どちらも省略した場合はset http_proxy=http://hogehogehoge.hogeとなる。

なお、毎回cmd起動時にパスを自動的に通したいときはcmdの/kオプションを使用する。