如何设置Corkscrew通过Draconian代理连接到Github

Question

我的公司有一个严格的代理服务器阻止我通过SSH来删除服务器，因此阻止我使用github。我花了最后一天关注网络上的例子，例如

• How do I use GitHub through harsh proxies?
• http://tachang.tumblr.com/post/22265579539/using-github-through-draconian-proxies-windows-and

但似乎没有任何效果。这是我的〜/ .ssh / config文件：

ProxyCommand /usr/local/bin/corkscrew proxy02.COMPANY_NAME.com 8080 %h %p

Host github.com
User git
Port 22
Hostname github.com
IdentityFile "/Users/msnider/.ssh/id_rsa"
IdentitiesOnly yes
TCPKeepAlive yes

Host ssh.github.com
User git
Port 443
Hostname ssh.github.com
IdentityFile "/Users/msnider/.ssh/id_rsa"
IdentitiesOnly yes
TCPKeepAlive yes

这是我尝试git pull --rebase时收到的错误消息：

Proxy could not open connnection to github.com:  Forbidden
ssh_exchange_identification: Connection closed by remote host
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

当我尝试通过SSH连接到github.com时，我得到了相同的禁止错误，但如果我指定了我的身份，我可以ssh到ssh.github.com：

ssh -i ~/.ssh/id_rsa git@ssh.github.com
Hi mattsnider! You've successfully authenticated, but GitHub does not provide shell access.
Connection to ssh.github.com closed.

无需身份验证即可连接代理服务器。

我还尝试设置http_proxy和https_proxy环境变量：

http_proxy=http://proxy02.COMPANY_NAME.com:8080
https_proxy=http://proxy02.COMPANY_NAME.com:8080

任何人都知道我做错了什么以及如何让它发挥作用？感谢。

Answer 1

我终于明白了。我公司的代理服务器阻止80和443以外的所有端口上的通信，所以我无法连接到端口22上的github。我认为我在网上找到的例子是将通信从22改为443，但他们没有。

问题在于所有网络示例的代码部分：

Host github.com
User git
Port 22
Hostname github.com
IdentityFile "/Users/msnider/.ssh/id_rsa"
IdentitiesOnly yes
TCPKeepAlive yes

这说当从代理服务器连接到github.com时，使用主机名github.com和端口22，它被我的代理阻止。将github.com定义更改为：

Host github.com
User git
Port 443
Hostname ssh.github.com
IdentityFile "/Users/msnider/.ssh/id_rsa"
IdentitiesOnly yes
TCPKeepAlive yes

我终于可以连接到github。