idea在设置中有关于代理的设置, 但在使用中发现这里设置的代理只对idea有效, 对idea的插件无效

这里遇到在使用 idea.goxz.gq 激活 JRebel 插件时, 由于反向代理服务器在国外, 导致 JRebel 无法连接到服务器, 研究了下怎么全局使用代理, 具体方法为在 idea.exe.vmoptions 及 idea64.exe.vmoptions 中追加

-DproxySet=true
-Dhttp.proxyHost=127.0.0.1
-Dhttp.proxyPort=1080

127.0.0.1为HTTP代理服务器地址

1080为HTTP代理服务器端口

我这里电脑上有使用 ShadowsocksR , 这软件默认会给系统提供一个 sock4/sock5/http 代理, 端口默认为 1080, 如果你有使用 ShadowsocksR , 并且没有修改过默认端口, 则追加信息和我一样即可, 如果没有使用, 就需要自己去网上找 HTTP代理服务器并修改追加信息了.

注: 这个方法理论对 Java 的程序都有效.