自从升级到我使用的一种IDEA插件的最新版本以来，我遇到了问题。我可以从其网站上下载该插件以前版本的ZIP文件，但是找不到有关如何 手动安装特定版本 插件的安装说明。
有人知道怎么做吗？
想想您可以简单地将jar放到plugins目录中：
idea.plugins.path=${user.home}/.IntelliJIdea80/config/plugins
在Windows上：
idea.plugins.path=%USERPROFILE%\.IntelliJIdea80\config\plugins
