From 734462967d395a1936979164b9ad8b970e489fa1 Mon Sep 17 00:00:00 2001 From: Karthikeyan Vaithilingam Date: Thu, 8 Oct 2020 00:06:04 +0400 Subject: [PATCH] jenv: add page (#4529) --- pages/common/jenv.md | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 pages/common/jenv.md diff --git a/pages/common/jenv.md b/pages/common/jenv.md new file mode 100644 index 0000000000..8b1db06490 --- /dev/null +++ b/pages/common/jenv.md @@ -0,0 +1,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}}`