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では、@のまま設定しないとエラーになりました。</port></proxy></password></userid></port></proxy></password></userid>…