comparison 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
comparison
equal deleted inserted replaced
153:aa8f422d55ae 154:c78e098abad3
23 export PATH="${JAVA_HOME}/bin":"${new_path}" 23 export PATH="${JAVA_HOME}/bin":"${new_path}"
24 java -version 24 java -version
25 } 25 }
26 26
27 openjdk11() { 27 openjdk11() {
28 export JAVA_HOME=/opt/openjdk-bin-11.0.2_p7 28 export JAVA_HOME=/opt/openjdk-bin-11.0.3_p7
29 29
30 local new_path=$(removeFromPath "jdk") 30 local new_path=$(removeFromPath "jdk")
31 export PATH="${JAVA_HOME}/bin":"${new_path}" 31 export PATH="${JAVA_HOME}/bin":"${new_path}"
32 java -version 32 java -version
33 } 33 }