git 设置和取消代理

git config --global http.proxy http://127.0.0.1:8087
git config --global https.proxy http://127.0.0.1:8087

git config --global --unset http.proxy
git config --global --unset https.proxy

set_proxy() {
  git config http.proxy 127.0.0.1:8087
  git config https.proxy 127.0.0.1:8087
  git config http.sslVerify false
  git fetch origin -f
}

unset_proxy() {
  git config --unset http.proxy
  git config --unset https.proxy
  git config --unset http.sslVerify
}

npm config delete proxy
git_clone() {
    git clone $* --config http.proxy=127.0.0.1:8087 --config http.sslVerify=false
}