comparison zshrc-jdk @ 156:2f71ba394858

update jdks
author Dirk Olmes <dirk@xanthippe.ping.de>
date Fri, 27 Sep 2019 10:11:01 +0200
parents 1a9d4664aafb
children 6dd02b1ebb80
comparison
equal deleted inserted replaced
155:1a9d4664aafb 156:2f71ba394858
15 jdk8() { 15 jdk8() {
16 switchJdk "oracle-jdk-bin-1.8" 16 switchJdk "oracle-jdk-bin-1.8"
17 } 17 }
18 18
19 openjdk8() { 19 openjdk8() {
20 export JAVA_HOME=/opt/openjdk-bin-8.202_p08 20 export JAVA_HOME=/opt/openjdk-bin-8.222_p10
21
22 local new_path=$(removeFromPath "jdk")
23 export PATH="${JAVA_HOME}/bin":"${new_path}"
24 java -version
25 }
26
27 openjdk11() {
28 export JAVA_HOME=/opt/openjdk-bin-11.0.3_p7
29 21
30 local new_path=$(removeFromPath "jdk") 22 local new_path=$(removeFromPath "jdk")
31 export PATH="${JAVA_HOME}/bin":"${new_path}" 23 export PATH="${JAVA_HOME}/bin":"${new_path}"
32 java -version 24 java -version
33 } 25 }
34 26
35 openjdk12() { 27 openjdk12() {
36 export JAVA_HOME=/opt/openjdk-bin-12.0.1_p12 28 switchJdk "openjdk-bin-12"
29 }
37 30
38 local new_path=$(removeFromPath "jdk") 31 openjdk13() {
39 export PATH="${JAVA_HOME}/bin":"${new_path}" 32 switchJdk "openjdk-bin-13"
40 java -version
41 } 33 }