Browse Source

Merge pull request #457 from findepi/findepi/cleanup-jenv-javahome-1626b4

fix: Cleanup jenv-javahome
pull/458/head
Barnesly 3 weeks ago committed by GitHub
parent
commit
49f8cc7588
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  1. 11
      libexec/jenv-javahome

11
libexec/jenv-javahome

@ -7,24 +7,17 @@ @@ -7,24 +7,17 @@
set -e
[ -n "$JENV_DEBUG" ] && set -x
exportVariable(){
exportedValues="$exportedValues:$1"
export "$1"="$2"
}
# Provide jenv completions
if [ "$1" = "--complete" ]; then
exec jenv shims --short
fi
export JENV_VERSION="$(jenv-version-name)"
export JENV_OPTIONS="$(jenv-options)"
JENV_VERSION="$(jenv-version-name)"
if [ "$JENV_VERSION" == "system" ]; then
echo "Using system JDK, no JAVA_HOME set!" >&2
exit 1
fi
export JAVA_HOME="$JENV_ROOT/versions/$JENV_VERSION"
JAVA_HOME="$JENV_ROOT/versions/$JENV_VERSION"
echo "$JAVA_HOME"

Loading…
Cancel
Save