2025-03-14 21:59:59 -06:00
|
|
|
# jenv
|
|
|
|
|
|
|
|
|
|
> Manage the "JAVA_HOME" environment variable.
|
2025-07-24 22:27:13 -06:00
|
|
|
> More information: <https://github.com/jenv/jenv/>.
|
2025-03-14 21:59:59 -06:00
|
|
|
|
|
|
|
|
- Add a Java version to jEnv:
|
|
|
|
|
|
|
|
|
|
`jenv add {{path/to/jdk_home}}`
|
|
|
|
|
|
|
|
|
|
- Display the current JDK version used:
|
|
|
|
|
|
|
|
|
|
`jenv version`
|
|
|
|
|
|
|
|
|
|
- Display all managed JDKs:
|
|
|
|
|
|
|
|
|
|
`jenv versions`
|
|
|
|
|
|
|
|
|
|
- Set the global JDK version:
|
|
|
|
|
|
|
|
|
|
`jenv global {{java_version}}`
|
|
|
|
|
|
|
|
|
|
- Set the JDK version for the current shell session:
|
|
|
|
|
|
|
|
|
|
`jenv shell {{java_version}}`
|
|
|
|
|
|
|
|
|
|
- Enable a jEnv plugin:
|
|
|
|
|
|
|
|
|
|
`jenv enable-plugin {{plugin_name}}`
|
