本机环境: Win10
问题描述: 使用代理,浏览器访问github一直没有问题,但 ping github.com 时不通,pull ,push 时出现 Failed to connect to github.com port 443: Timed out 问题。
解决办法:
使用代理时,网络和Internet 中的【代理】使用设置脚本被打开,复制脚本地址,在浏览器中打开,会自动下载pac文件,打开之后,查看 变量 var proxy = "PROXY 127.0.0.1:*****;";
将proxy设置为 git 的 http.proxy 的值就行,设置参数可以通过下列两个 git 命令完成。
git config --global http.proxy 127.0.0.1:**** 为全局的 git 项目都设置代理
git config --local http.proxy 127.0.0.1:**** 为某个 git 项目单独设置代理