Windows で Git のプロキシ設定をする

HOMEディレクトリ（だいたいの場合は C:\Users\《ユーザー名》 ）に .gitconfig を作成し、プロキシサーバーのアドレスとポートは環境にあわせて設定する。コマンドでやる方法もあるようだが今回は割愛。

.gitconfig

[http]
proxy=http://《address》:《port》

Windows で設定されているプロキシ設定を確認したいが、インターネットオプションから表示できない場合はコマンドプロンプトから確認するには以下のコマンドを実行する。未設定の場合は表示されないかも。

reg query "HKEY_CURRENT_USER\Software\Microsoft\Windows\CurrentVersion\Internet Settings" /v ProxyServer