gitでプロキシを設定

自分のためのメモ。

設定方法

下記コマンドをたたく

$git config --global http.proxy http://proxy.example.com:8080
$git config --global https.proxy http://proxy.example.com:8080

これにより ~/.gitconfigに下記が追加される。

.gitconfig

[http]
        proxy = http://proxy.example.com:8080
[https]
        proxy = http://proxy.example.com:8080
[url "https://"]
        insteadOf = git://