💾 Archived View for freeshell.de › tldr › jenv.gmi captured on 2022-06-11 at 22:03:13. 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.

jenv add {path/to/jdk_home}
jenv version
jenv versions
jenv global {java_version}
jenv shell {java_version}
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