wgetでproxyの記事は以前書いたのだが、あくまであれはwgetのものでgitの場合は独自に設定が必要。
コマンドを打ち込むか設定ファイルを追加するかのどちらでも良い。
(コマンドを実行すると設定ファイルに記載される)
git config --global http.proxy http://yourproxyhost:port/
git config --global https.proxy http://yourproxyhost:port/
# 実行結果はファイルに記載される。
cat ~/.gitconfig
[http]
proxy = http://yourproxyhost:port/
[https]
proxy = http://yourproxyhost:port/