diff zshrc-jdk @ 176:d84faf4d53ac

adding openjdk11
author Dirk Olmes <dirk.olmes@codedo.de>
date Fri, 15 May 2020 13:13:18 +0200
parents 6dd02b1ebb80
children 51710c7c26c2
line wrap: on
line diff
--- a/zshrc-jdk	Wed Apr 15 09:02:04 2020 +0200
+++ b/zshrc-jdk	Fri May 15 13:13:18 2020 +0200
@@ -12,12 +12,17 @@
     java -version
 }
 
-jdk8() {
-    switchJdk "oracle-jdk-bin-1.8"
+openjdk8() {
+    switchJdk "openjdk-bin-8"
 }
 
-openjdk8() {
-    switchJdk "openjdk-bin-8"
+openjdk11() {
+    local new_path=$(removeFromPath "jdk")
+    export JAVA_HOME=/opt/openjdk-bin-11.0.7_p10
+    export JAVAC=${JAVA_HOME}/bin/javac
+    export JDK_HOME=${JAVA_HOME}
+    export PATH="${JAVA_HOME}/bin":"${new_path}"
+    java -version
 }
 
 openjdk13() {