comparison zshrc-jdk @ 152:62c9cbe45942

update JDK11 path
author Dirk Olmes <dirk@xanthippe.ping.de>
date Mon, 04 Feb 2019 09:29:36 +0100
parents 238d7d13bce7
children aa8f422d55ae
comparison
equal deleted inserted replaced
151:55466fa02e0a 152:62c9cbe45942
1 # 1 #
2 # zshrc for handling different Maven versions 2 # zshrc for handling different JDK versions
3 # 3 #
4 4
5 switchJdk() { 5 switchJdk() {
6 local jdkName="$1" 6 local jdkName="$1"
7 local new_path=`removeFromPath "jdk"` 7 local new_path=`removeFromPath "jdk"`
15 jdk8() { 15 jdk8() {
16 switchJdk "oracle-jdk-bin-1.8" 16 switchJdk "oracle-jdk-bin-1.8"
17 } 17 }
18 18
19 jdk11() { 19 jdk11() {
20 export JAVA_HOME=/opt/openjdk-bin-11_p28 20 export JAVA_HOME=/opt/openjdk-bin-11.0.2_p7
21 21
22 local new_path=`removeFromPath "jdk"` 22 local new_path=`removeFromPath "jdk"`
23 export PATH="${JAVA_HOME}/bin":"${new_path}" 23 export PATH="${JAVA_HOME}/bin":"${new_path}"
24 java -version 24 java -version
25 } 25 }