今天误删了插件,想要重新下载发现我的Plugins没有搜素到,无论输入什么都没有用,在网上查资料,有手动导入的方法,我嫌弃它太麻烦 最后终于解决: 其实很简单 改一下这里就可以了: 手动添加代理地址:
https://plugins.jetbrains.com/
然后重启idea 就可以了