Windows環境でも
set http_proxy=http://<userid>:<password>@<proxy server>:<port> set https_proxy=http://<userid>:<password>@<proxy server>:<port>
が通じるのですが、
ここで一点、useridなどに@が入っている場合、%40で置き換えたりするんですが、
mix local.hex
で使われているhttpcでは、@のまま設定しないとエラーになりました。
ウチの系列会社だと、メールアドレスがそのまんまユーザIDにされてしまってるので、多分これで引っかかってる人多いんじゃないかと思いました。
@のままで通るんかい。
気分を害したので、mix.bat書き換えて上の設定を入れた。後悔はしていない。
