IDE

Last modified: 04 March 2024

A devfile lets you specify the IDE to use in a dev environment, JVM options (in case of IntelliJ-based IDEs), and the project root directory.