changeset 155:1a9d4664aafb

add openjdk12
author Dirk Olmes <dirk@xanthippe.ping.de>
date Wed, 08 May 2019 13:17:50 +0200
parents c78e098abad3
children 2f71ba394858
files zshrc-jdk
diffstat 1 files changed, 8 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/zshrc-jdk	Fri May 03 08:40:51 2019 +0200
+++ b/zshrc-jdk	Wed May 08 13:17:50 2019 +0200
@@ -31,3 +31,11 @@
     export PATH="${JAVA_HOME}/bin":"${new_path}"
     java -version
 }
+
+openjdk12() {
+    export JAVA_HOME=/opt/openjdk-bin-12.0.1_p12
+
+    local new_path=$(removeFromPath "jdk")
+    export PATH="${JAVA_HOME}/bin":"${new_path}"
+    java -version
+}