# HG changeset patch # User Dirk Olmes # Date 1595315713 -7200 # Node ID 51710c7c26c2562b8544bc2b6f7231d86222adb5 # Parent 0eebd05e58ad5c262933c96a54c332929011e57a jdk 13 is superseeded by jdk 14, use the generic jdk 11 link diff -r 0eebd05e58ad -r 51710c7c26c2 zshrc-jdk --- a/zshrc-jdk Fri Jun 12 02:48:48 2020 +0200 +++ b/zshrc-jdk Tue Jul 21 09:15:13 2020 +0200 @@ -18,13 +18,13 @@ openjdk11() { local new_path=$(removeFromPath "jdk") - export JAVA_HOME=/opt/openjdk-bin-11.0.7_p10 + export JAVA_HOME=/opt/openjdk-bin-11 export JAVAC=${JAVA_HOME}/bin/javac export JDK_HOME=${JAVA_HOME} export PATH="${JAVA_HOME}/bin":"${new_path}" java -version } -openjdk13() { - switchJdk "openjdk-bin-13" +openjdk14() { + switchJdk "openjdk-bin-14" }