# HG changeset patch # User Dirk Olmes # Date 1551929867 -3600 # Node ID aa8f422d55ae5f9e5650415de081289167c8f656 # Parent 62c9cbe45942822dc670cff9fa74cbf708c229cd add openjdk8 diff -r 62c9cbe45942 -r aa8f422d55ae zshrc-jdk --- a/zshrc-jdk Mon Feb 04 09:29:36 2019 +0100 +++ b/zshrc-jdk Thu Mar 07 04:37:47 2019 +0100 @@ -4,8 +4,8 @@ switchJdk() { local jdkName="$1" - local new_path=`removeFromPath "jdk"` - export JAVA_HOME=`/usr/bin/java-config-2 --select-vm=${jdkName} -O` + local new_path=$(removeFromPath "jdk") + export JAVA_HOME=$(/usr/bin/java-config-2 --select-vm=${jdkName} -O) export JAVAC=${JAVA_HOME}/bin/javac export JDK_HOME=${JAVA_HOME} export PATH="${JAVA_HOME}/bin":"${new_path}" @@ -16,10 +16,18 @@ switchJdk "oracle-jdk-bin-1.8" } -jdk11() { - export JAVA_HOME=/opt/openjdk-bin-11.0.2_p7 +openjdk8() { + export JAVA_HOME=/opt/openjdk-bin-8.202_p08 - local new_path=`removeFromPath "jdk"` + local new_path=$(removeFromPath "jdk") export PATH="${JAVA_HOME}/bin":"${new_path}" java -version } + +openjdk11() { + export JAVA_HOME=/opt/openjdk-bin-11.0.2_p7 + + local new_path=$(removeFromPath "jdk") + export PATH="${JAVA_HOME}/bin":"${new_path}" + java -version +}