idea问题

idea无法下载插件问题

idea2020版本无法下载插件问题

关于我的idea无法下载插件问题，我的版本是2020.1.2

第一种情况

打开plugins啥都搜不到
解决办法：

然后搜索就可以生效了，可能会遇到下载失败200的报错，可以这么解决代理问题

但是我的是2020版本，此选项已经无了，束手无策之际，既然想是http代理问题，那我再改下试试


其实和前面设置一样的，我改为了no 然后发现就可以下载成功了，到这就解决了
但是我怕又回到起点变为搜不到插件的问题，就换回auto detect proxy settings 测试后发现 既可以搜索到也可以下载了，我也不知道原因 反正能解决就行 希望能带给各位帮助 主要是2020版本没有那个选项了 所以这么尝试。