修改IDEA的配置目录


title: 修改IDEA的配置目录

date: 2019-02-18 13:19:00

categories:

  • tech
  • tool
  • IDE
  • IntelliJIDEA

tags: [tech,tool,IDE,IntelliJIDEA,IDEA]


在使用IDEA开发工具的过程中,难免会进行各种配置和插件的安装,这些配置花费了我们大量的心血。

当我们的重新安装或者在新的设备上安装了IDEA以后,需要把之前所做的配置工作重新做一遍吗?当然不需要!

IDEA官方文档提供修改配置目录的方法,可以直接参考。下面简单演示说明一下。

在你的IDEA安装目录下的bin目录,可以看到一个idea.properties文件,这个文件是IDEA的核心配置文件,当你做完下面的配置以后,这个文件也需要备份一下,以后可以继续用。

IDE_HOME\bin\idea.properties文件中配置配置路径,主要修改如下几个参数:

  • idea.config.path

这个目录是我们在File\settings标签下做的一些配置,例如CodeStyle、KeyMaps等。

  • idea.system.path

这个目录下的配置很关键,编译工具、本地历史、工作空间配置等都在这里。

  • idea.plugins.path

这里放的是我们安装的一些插件,如果你需要增加插件,除了在IDEA的操作界面添加,把插件移动到这个目录然后重启也可以安装成功,这就是离线安装。

  • idea.log.path

这个目录保存了IDEA产生的log。如果你觉得占用空间过大,也可以删掉部分过期的log。

最后你的IDE_HOME\bin\idea.properties文件中应该有类似这样的一些配置。

#---------------------------------------------------------------------
# Uncomment this option if you want to customize path to IDE config folder. Make sure you're using forward slashes.
#---------------------------------------------------------------------
#idea.config.path=${user.home}/.IntelliJIdea/config
idea.config.path=D:/1tools/idea/settings/20190124Win10IntelliJIdea/config

#---------------------------------------------------------------------
# Uncomment this option if you want to customize path to IDE system folder. Make sure you're using forward slashes.
#---------------------------------------------------------------------
#idea.system.path=${user.home}/.IntelliJIdea/system
idea.system.path=D:/1tools/idea/settings/20190124Win10IntelliJIdea/system

#---------------------------------------------------------------------
# Uncomment this option if you want to customize path to user installed plugins folder. Make sure you're using forward slashes.
#---------------------------------------------------------------------
# idea.plugins.path=${idea.config.path}/plugins
idea.plugins.path=D:/1tools/idea/settings/20190124Win10IntelliJIdea/plugins

#---------------------------------------------------------------------
# Uncomment this option if you want to customize path to IDE logs folder. Make sure you're using forward slashes.
#---------------------------------------------------------------------
# idea.log.path=${idea.system.path}/log
idea.log.path=D:/1tools/idea/settings/20190124Win10IntelliJIdea/log

如果你需要安装一个新的IDEA,把20190124Win10IntelliJIdea目录以及IDE_HOME\bin\idea.properties文件,直接copy到新的IDEA的配置文件目录就可以了。


description: 这是一篇介绍如何修改和迁移IDEA配置文件的文档。

author: ijiangtao.net


你可能感兴趣的:(修改IDEA的配置目录)