.gitconfigで設定する方法
以下のコマンドを実行します。
$ git config --global http.https://github.com.proxy http://123.456.789.012:1234
もしくは、$HOME/.gitconfig
に以下の内容を追加してください。
[http "https://github.com"]
proxy = 123.456.789.012:1234
※プロキシサーバーへのアクセスにユーザー名やパスワードが必要な場合はhttp://username:password@123.456.789.012:1234
のような形で設定できます。
.ssh/configで設定する方法
$HOME/.ssh/config
に以下の内容を追加します。
Host github.com
ProxyCommand connect -H 123.456.789.012:1234 %h %p