本文を読み飛ばす

新しいコマンドシェルを開いたときにgitのproxy設定を実行させる

OS側の設定をそのまま反映させる.~/.bashrc末尾に以下を追加

if [ -z "$HTTP_PROXY" ]; then
    git config --global --unset http.proxy
    git config --global --unset https.proxy
    echo "git proxy解除完了"
else
    git config --global http.proxy $HTTP_PROXY
    git config --global https.proxy $HTTPS_PROXY
    echo "git proxy設定完了"
fi