gitコマンドを学内で利用する方法
git clone
git clone <リポジトリー> -c http.proxy="http://proxy.cc.yamaguchi-u.ac.jp:8080"
git pull
git -c http.proxy="http://proxy.cc.yamaguchi-u.ac.jp:8080" pull
git push
git -c http.proxy="http://proxy.cc.yamaguchi-u.ac.jp:8080" push