Intellij_disabled_plugins: # see ~/.config/JetBrains/*Idea*/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: '2023.2.3 ' # 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. |
Details
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |