💾 Archived View for freeshell.de › tldr › jenv.gmi captured on 2023-11-04 at 12:36:00. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2022-04-28)

-=-=-=-=-=-=-

jenv

Command-line tool to manage the "JAVA_HOME" environment variable.

More information.

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

Copyright © 2014—present the tldr-pages team and contributors.

This work is licensed under the Creative Commons Attribution 4.0 International License (CC-BY).

CC-BY