mix local.hexを認証付きProxy越しに実行させる場合

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書き換えて上の設定を入れた。後悔はしていない。