1
0
Fork 0
mirror of https://github.com/tldr-pages/tldr.git synced 2025-04-29 23:24:55 +02:00
tldr/pages/common/jenv.md
bl-ue 8ebd171d6f
*: fix typos reported by Hunspell (#5848)
Co-authored-by: marchersimon <50295997+marchersimon@users.noreply.github.com>
Co-authored-by: Seth Falco <seth@falco.fun>
Co-authored-by: Patrice Denis <patricedenis@users.noreply.github.com>
2021-05-20 16:13:41 -04:00

498 B

jenv

Command-line tool to manage the "JAVA_HOME" environment variable. More information: https://www.jenv.be/.

  • 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}}