|
|
|
|
@ -1,6 +1,14 @@
@@ -1,6 +1,14 @@
|
|
|
|
|
#!/usr/bin/env bash |
|
|
|
|
# Summary: Add JDK into jenv. A alias name will be generated by parsing "java -version" |
|
|
|
|
# Summary: Add JDK into jenv. By default aliases will be generated by parsing "java -version" |
|
|
|
|
# |
|
|
|
|
# Usage: jenv add /path/to/java_home |
|
|
|
|
# |
|
|
|
|
# By default aliases are automatically generated based on the JDK version and provider. |
|
|
|
|
# To add a custom alias, specify it the first argument, in which case only that one |
|
|
|
|
# alias is added. e.g. |
|
|
|
|
# |
|
|
|
|
# jenv add my-custom-alias /path/to/java_home |
|
|
|
|
|
|
|
|
|
set -e |
|
|
|
|
[ -n "$JENV_DEBUG" ] && set -x |
|
|
|
|
|
|
|
|
|
@ -74,16 +82,10 @@ JENV_VERSION_FILE=".jenv-version"
@@ -74,16 +82,10 @@ JENV_VERSION_FILE=".jenv-version"
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
if [ "$#" -eq 2 ]; then |
|
|
|
|
cwarn "Warning : jenv add alias path/to/java_home is deprecated." |
|
|
|
|
cwarn "Please prefer to let jenv generate unique alias name by using" |
|
|
|
|
echo "" |
|
|
|
|
cwarn " $ jenv add path/to/java_home" |
|
|
|
|
echo "" |
|
|
|
|
|
|
|
|
|
JENV_JAVAPATH="$2" |
|
|
|
|
JENV_ALIAS="$1" |
|
|
|
|
|
|
|
|
|
add_alias_check $JENV_ALIAS |
|
|
|
|
add_alias_check "$JENV_ALIAS" |
|
|
|
|
if $version_added ; then |
|
|
|
|
$(jenv-rehash) |
|
|
|
|
fi; |
|
|
|
|
|