idea全局使用http代理
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 的程序都有效.