diff zshrc-jdk @ 154:c78e098abad3

update path to openjdk 11
author Dirk Olmes <dirk@xanthippe.ping.de>
date Fri, 03 May 2019 08:40:51 +0200
parents aa8f422d55ae
children 1a9d4664aafb
line wrap: on
line diff
--- a/zshrc-jdk	Thu Mar 07 04:37:47 2019 +0100
+++ b/zshrc-jdk	Fri May 03 08:40:51 2019 +0200
@@ -25,7 +25,7 @@
 }
 
 openjdk11() {
-    export JAVA_HOME=/opt/openjdk-bin-11.0.2_p7
+    export JAVA_HOME=/opt/openjdk-bin-11.0.3_p7
 
     local new_path=$(removeFromPath "jdk")
     export PATH="${JAVA_HOME}/bin":"${new_path}"