Browse Source

Merge pull request #330 from creasty/patch-1

Don't run jenv javahome twice in zsh
pull/338/head
Kevin Leturc 4 years ago committed by GitHub
parent
commit
b061185c56
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      available-plugins/export/etc/jenv.d/init/export_jenv_hook.zsh

2
available-plugins/export/etc/jenv.d/init/export_jenv_hook.zsh

@ -6,7 +6,7 @@ @@ -6,7 +6,7 @@
if [ -e "$JAVA_HOME/bin/javac" ]
then
export JDK_HOME=$(jenv javahome)
export JDK_HOME="$JAVA_HOME"
export JENV_FORCEJDKHOME=true
fi
}

Loading…
Cancel
Save