GitHub 错误：“无法连接到 443 端口”

Question

我正在尝试使用以下文档在 Windows 7 上本地构建 App Inventor：如何从 MIT 源代码构建 App Inventor

我已经下载了第 3 节中列出的所有软件，并通过从 shell 运行以下 Git 命令克隆 Git 存储库来继续构建 App Inventor：

git clone https://github.com/mit-cml/appinventor-sources.git

我不断收到以下错误：

无法连接github 443错误

我尝试进行 Google 搜索，发现了这个：GitHub：“无法连接到 github 443 windows/无法连接到 gitHub - 无错误”

我在这个领域完全没有经验，所以我不理解提到的任何解决方案。我怎样才能逐步找到最佳解决方案？

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

Answer 1

如果您位于公司防火墙后面，并且所有请求都通过代理服务器，那么您必须先设置 Git 代理，然后才能运行任何获取命令，例如 pull、fetch 和 push 命令。

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

git config --global http.proxy http://username:[email protected]:8080
git config --global https.proxy http://username:[email protected]: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.

查看如何配置 Git 代理 和 如何取消设置 Git 代理了解更多详细信息