Gitのプロキシ設定

$ git config –global http.proxy http://proxy.example.com:8080
$ git config –global –list
$ cat ~/.gitconfig

なるほど！