前提は Windows 環境。 gitコマンドによる設定 よくGitでプロキシの設定を行うのに、以下のコマンドを実行するよう紹介されていることが多い。 git config --global http.proxy http://proxy.foo.bar:88880 もちろんこれでもプロキシの設定はできるんだけど…