Browse Source

Upgrade default JAVA HOME to Java 17

master
Ein Verne 2 years ago
parent
commit
eb9e6dbb88
No known key found for this signature in database
GPG Key ID: 926634D64ACAD792
  1. 2
      zsh/env.zsh

2
zsh/env.zsh

@ -69,7 +69,7 @@ if [[ -d "/usr/local/jdk1.8.0_131" ]]; then
export PATH=$PATH:$JAVA_HOME/bin/ export PATH=$PATH:$JAVA_HOME/bin/
fi fi
if [[ -d "$HOME/.asdf/installs/java/adoptopenjdk-8.0.265+1/" ]]; then if [[ -d "$HOME/.asdf/installs/java/adoptopenjdk-8.0.265+1/" ]]; then
export JAVA_HOME=$HOME/.asdf/installs/java/adoptopenjdk-8.0.265+1/ export JAVA_HOME=$HOME/.asdf/installs/java/openjdk-17/
export PATH=$PATH:$JAVA_HOME/bin/ export PATH=$PATH:$JAVA_HOME/bin/
fi fi
# . ~/.asdf/plugins/java/set-java-home.zsh # . ~/.asdf/plugins/java/set-java-home.zsh

Loading…
Cancel
Save