背景
公司限制连接外网，很多软件都被限制了，包括idea，只能通过代理上网。
使用代理上网，以往都是在IE的工具-Internet选项-连接里进行设置就OK了，谷歌浏览器啥的就可以上网了。但intellij idea不行，gradle不行，提示什么
Unknown host 'services.gradle.org'. You may need to adjust the proxy settings in Gradle.
然后想在Intellij idea里安装个FindBugs插件，报错说下载不了，这才知道是网络问题。
那么intellij idea怎么设置代理上网呢？
1.入口在插件这里：File-settings-plugins 
2.在host name 与 port number中填写代理网址和端口号即可；
