Browse Source

Update env.zsh: add java home config

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

4
zsh/env.zsh

@ -33,6 +33,10 @@ if [[ -d "/usr/local/jdk1.8.0_131" ]]; then
export JAVA_HOME=/usr/local/jdk1.8.0_131 export JAVA_HOME=/usr/local/jdk1.8.0_131
export PATH=$PATH:$JAVA_HOME/bin/ export PATH=$PATH:$JAVA_HOME/bin/
fi fi
if [[ -d "$HOME/.asdf/installs/java/adoptopenjdk-8.0.262+10.openj9-0.21.0" ]]; then
export JAVA_HOME=$HOME/.asdf/installs/java/adoptopenjdk-8.0.262+10.openj9-0.21.0
export PATH=$PATH:$JAVA_HOME/bin/
fi
# export JAVA_HOME="$HOME/.jenv/versions/`jenv version-name`" # export JAVA_HOME="$HOME/.jenv/versions/`jenv version-name`"
if [[ -d "~/.asdf/plugins/java/" ]]; then if [[ -d "~/.asdf/plugins/java/" ]]; then

Loading…
Cancel
Save