From c0e821f5be248a1b6ba4c1d5494ec7c631d491ba Mon Sep 17 00:00:00 2001 From: Gildas Cuisinier Date: Thu, 17 Mar 2016 07:10:53 +0100 Subject: [PATCH] Document jenv export plugin --- README.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/README.md b/README.md index 7fae5e5..065a9bb 100644 --- a/README.md +++ b/README.md @@ -244,6 +244,14 @@ Let's say you want Maven to use the JDK activated with Jenv, not the default `JA Note: The enable-plugin functionality is system wide not local to the shell, or temporary - you only need to do each one once. +### Export plugin +Another one usefull plugin is the "export", that expose JAVA_HOME automatically : + + $ jenv enable-plugin export + You may restart your session to activate jenv export plugin echo export plugin activated + + + ## Development The jenv source code is [hosted on