Perfiles en IntelliJ IDEA🔗
Es posible mantener perfiles de tal manera que uno pueda separar extensiones y preferencias de usuario mediante
el uso de las variables de entorno IDEA_PROPERTIES, IDE_HOME, IDEA_PROPERTIES y IDEA_VM_OPTIONS, así como
la creación de los archivos idea.properties y idea.vmoptions.
Por ejemplo, las siguientes carpetas son perfiles: $HOME/.config/idea/profiles/perfil1 y
$HOME/.config/vscode/idea/perfil2. En cada una de ellas existe el archivo idea.properties con el siguiente
contenido, según el perfil:
idea.config.path=${user.home}/.config/idea/profiles/perfil1/config
idea.plugins.path=${user.home}/.config/idea/profiles/perfil1/config/plugins
idea.system.path=${user.home}/.config/idea/profiles/perfil1/system
idea.log.path=${user.home}/.config/idea/profiles/perfil1/log
La ejecución de IntelliJ IDEA de acuerdo al perfil sería:
[nihilipster@localhost:~]$ export IDEA_HOME=$HOME/.config/idea/profiles/perfil1
[nihilipster@localhost:~]$ export IDE_HOME=$IDEA_HOME
[nihilipster@localhost:~]$ export IDEA_PROPERTIES=$IDE_HOME/idea.properties
[nihilipster@localhost:~]$ export IDEA_VM_OPTIONS=$IDE_HOME/idea.vmoptions
[nihilipster@localhost:~]$ idea