Github错误:无法连接到443端口

Question

我正在尝试使用以下文档在Windows7本地构建appinventor：https://docs.google.com/document/d/1Xc9yt02x3BRoq5m1PJHBr81OOv69rEBy8LVG_84j9jc/pub#h.5p32kqx16c2d

我已经下载了第3部分中列出的所有软件，并通过从shell中运行以下git命令来克隆git存储库，从而继续构建应用程序inventor : git clone https://github.com/mit-cml/appinventor-sources.git

我一直收到以下错误:无法连接到github 443错误

我试着在谷歌上搜索一下，发现了这个：GitHub - failed to connect to github 443 windows/ Failed to connect to gitHub - No Error

我在这个领域完全没有经验，所以我对上面提到的任何解决方案都不了解，你能试着一步一步地通过最佳解决方案来帮助我吗？

我在一家公司工作，所以我无法获得他们提到的代理，否则防火墙可能会阻止它。

提前谢谢你！

Answer 1

如果你在公司防火墙后面，如果你的所有请求都通过代理服务器，那么你必须在运行任何get命令之前首先设置Git代理，比如pull，fetch和push命令。

要为HTTP和HTTPS设置Git代理，请在Git bash shell中使用以下git命令

git config --global http.proxy http://username:password@proxy.server.com:8080
git config --global https.proxy http://username:password@proxy.server.com:8080

//Replace username with your proxy username
//Replace password with your proxy password
//Replace proxy.server.com with the proxy domain URL.
//Replace 8080 with the proxy port no configured on the proxy server.

有关更多详细信息，请查看How to configure Git proxy和How to unset the Git Proxy