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