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

https://plugins.jetbrains.com/


然后重启idea
就可以了