![]() Intellij_disabled_plugins: # see ~/.*Idea*/config/disabled_plugins.txt # Must match the name given to one of the `intellij_jdks`. # Required if you specify `intellij_jdks`. # The name of the JDK you want to be the default for new projects. name: # The name use want to use for this JDK home: # The path to the JDK home. username: # Unix user name intellij_group: # Unix group for the user's files/directories (optional - defaults to username) intellij_jdks: # IntelliJ IDEA version number intellij_version: '2022.2 ' # Mirror where to dowload IntelliJ IDEA redistributable package from # Using HTTP because of intellij_mirror: ' ' # Edition to install (community or ultimate) intellij_edition: community # Base installation directory for any IntelliJ IDEA distribution intellij_install_dir: /opt/idea/idea- " # Timeout for IntelliJ IDEA download response in seconds intellij_idea_download_timeout_seconds: 600
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |