我搬到我使用的IDEA插件的最新版本后遇到了问题.我可以从他们的网站下载以前版本的插件的ZIP文件,但我找不到有关如何手动安装特定版本插件的任何安装说明.
有人知道怎么做吗?
您也可以下载zip,然后在设置插件中按下从磁盘安装插件并选择zipfile.像我的Mac上的魅力一样工作=)
认为你可以简单地将jar放在plugins目录中:
idea.plugins.path=${user.home}/.IntelliJIdea80/config/plugins
在Windows上:
idea.plugins.path=%USERPROFILE%\.IntelliJIdea80\config\plugins
如果你在Mac上,那将是:
~/Library/Application Support/IntelliJIdeaXX其中XX是IDEA版本号代码.
您可以在FAQ中找到不同平台的更多详细信息.