プロキシサーバー下でのGitの設定

プロキシサーバー内でGitの設定を行う場合、http.proxyを設定します。

git config --global http.proxy proxy.host:8080

認証がある場合は、ユーザーID:パスワードを先頭に追加し、@で区切る

git config --global user:password@http.proxy proxy.host:8080


ん？パスワードに@があってうまくいかん！という場合は@をURLエンコードした値(%40)を使用する。
例えば、ユーザーID = user パスワード=p@sswordである場合、以下のように設定する。

git config --global user:p%40ssword@http.proxy proxy.host:8080

設定値は git config --global --list で確認可能。