给 github 设置代理，解决访问慢的问题

因为墙的缘故，github 仓库经常推送拉取慢或者断连，我一般的做法是开启终端的代理:

export https_proxy=http://127.0.0.1:7897 http_proxy=http://127.0.0.1:7897 all_proxy=socks5://127.0.0.1:7897

这种做法会让当前窗口所有的流量走代理，有额外的心理负担。

今天在社区看到一个更 nice 的做法，就是在 .ssh/config/ 里设置代理命令：

Host github.com
  User git
  HostName github.com
  ProxyCommand ncat --proxy-type socks5 --proxy 127.0.0.1:7890 %h %p

这样就不需要每次设置了。