在IDEA的插件配置地址都是可配置的,通过修改idea.properties可指定插件和logs的地址等这个配置文件地址在IDEA2020.1版本后出现了一些变化。如下:
2020.1版本之前:
配置文件地址在IDEA安装目录的bin目录下。
2020.1版本之后:
在此版本之后有两种方法。
1.从C盘\User\Administrator里开始找AppData\Roaming\JetBrains(就是和一堆"."开头的文件在一起,一般是用户名文件夹下)
比如我的就是在C:\Users\Maibenben\AppData\Roaming\JetBrains\IntelliJIdea2020.1里有个idea.properties 文件。修改此文件就行。
2.新版在IDEA安装目录的bin目录下无properties文件了,不过你可以新建一个或者复制一个idea.properties文件过来,里面的配置地址改掉是同样可以覆盖插件地址的。
下面附上改文件要改的几个主要参数:
但是很奇怪的是,我通过toolBox更新IDEA后插件消失了,不管是怎样改各处的配置文件都不行,折腾了半天发现在toolBox的IDEA配置下有个Installation地址,打开看到里面有两个文件,其中一个以plugins结尾,我灵机一动把这里面的东西都删掉替换成我配置文件地址里复制过来的所有插件,结果就成功了!
后来我发现toolBox的IDEA配置还有另一个地址配置如下图所示:
我修改完后也成功了(因为我删掉了之前复制过去的插件),但我没有再去验证第二种方法是否真起作用了还是受我之前复制插件的影响,所以说,如果你也碰到了相同的问题,希望你能先尝试第二种方法——就是直接填写这个地址为你配置文件的所在地址,如果你也成功了,那当然再次证明了是直接改地址更好,请务必留言告诉我,谢谢 ????~