[开发工具]idea等连接github的代理设置

首先，不用在idea中设置，而是要在git中设置。

对windows用户来说，只需要在命令行执行如下命令即可。这样就可以通过代理访问github了。

如果是http代理：

git config --global http.https://github.com.proxy http://127.0.0.1:7890


//如果是sock代理
git config --global http.https://github.com.proxy socks5://127.0.0.1:1080

如果需要代理所有各种仓库的，则执行如下命令：

如果是http代理：

git config --global http.proxy http://127.0.0.1:7890


//如果是sock代理
git config --global http.proxy socks5://127.0.0.1:1080