jetbrains IDE的插件加载不出来
场景
Win10、IDEA 2020.2、电脑配置了HTTP/HTTPS/socks梯子代理。想要给IDEA从plugins marketplace下载新的theme。
问题
plugins marketplace的插件加载不出。
原因分析
网络不顺畅或不通。plugins marketplace的repository在国外，国内访问的速度慢，一般会无法加载。
但是我已经使用了梯子代理。当IDEA访问repository时，应该走的是代理，所以不存在国内访问国外的慢网速问题。
浏览器访问正常，说明梯子能够正常代理HTTP、HTTPS和sock，并且能够使用。
说明是IDEA自身的代理设置问题，如果IDEA自身不允许使用代理，那么访问repository时，发现电脑使用了代理，则会拒绝进行访问。
解决方案
修改IDEA自身代理设置，使其允许使用代理去访问repository
修改后，IDEA会自动检测计算机系统的代理设置，当IDEA访问plugin repository时，会经过计算机代理。由于梯子的存在，就能够实现国内访问国外。
