2020-10-07 21:06:04 +01:00
|
|
|
# jenv
|
|
|
|
|
|
2024-02-25 10:46:24 +00:00
|
|
|
> Manage the "JAVA_HOME" environment variable.
|
2020-10-07 21:06:04 +01:00
|
|
|
> More information: <https://www.jenv.be/>.
|
|
|
|
|
|
2021-07-13 09:59:48 +01:00
|
|
|
- Add a Java version to jEnv:
|
2020-10-07 21:06:04 +01:00
|
|
|
|
|
|
|
|
`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}}`
|
