Mercurial > hg > zsh-env
diff zshrc-jdk @ 152:62c9cbe45942
update JDK11 path
| author | Dirk Olmes <dirk@xanthippe.ping.de> |
|---|---|
| date | Mon, 04 Feb 2019 09:29:36 +0100 |
| parents | 238d7d13bce7 |
| children | aa8f422d55ae |
line wrap: on
line diff
--- a/zshrc-jdk Wed Dec 05 14:42:13 2018 +0100 +++ b/zshrc-jdk Mon Feb 04 09:29:36 2019 +0100 @@ -1,5 +1,5 @@ # -# zshrc for handling different Maven versions +# zshrc for handling different JDK versions # switchJdk() { @@ -17,7 +17,7 @@ } jdk11() { - export JAVA_HOME=/opt/openjdk-bin-11_p28 + export JAVA_HOME=/opt/openjdk-bin-11.0.2_p7 local new_path=`removeFromPath "jdk"` export PATH="${JAVA_HOME}/bin":"${new_path}"