设置git的代理服务器
git项目时,有时速度比较慢,可以设置--depth=1,只要最后一个版本的代码,而不要.git目录中的东西
git clone --depth=1 https://github.com/Project-OSRM/osrm-backend.git
git config --global http.proxy http://127.0.0.1:8580
git config --global https.proxy https://127.0.0.1:8580
git config --global http.SSLVERIFY false