This repository was archived by the owner on Nov 30, 2023. It is now read-only.
File tree 2 files changed +10
-4
lines changed
codespaces-linux/.devcontainer/library-scripts
java/.devcontainer/library-scripts
2 files changed +10
-4
lines changed Original file line number Diff line number Diff line change 9
9
#
10
10
# Syntax: ./java-debian.sh [JDK version] [SDKMAN_DIR] [non-root user] [Add to rc files flag]
11
11
12
- JAVA_VERSION=${1:- " default " }
12
+ JAVA_VERSION=${1:- " lts " }
13
13
export SDKMAN_DIR=${2:- " /usr/local/sdkman" }
14
14
USERNAME=${3:- " automatic" }
15
15
UPDATE_RC=${4:- " true" }
@@ -82,7 +82,7 @@ sdk_install() {
82
82
local suffix=" ${4:- " \\ s*" } "
83
83
local full_version_check=${5:- " .*-[a-z]+" }
84
84
if [ " ${requested_version} " = " none" ]; then return ; fi
85
- # Blank will install latest stable version
85
+ # Blank will install latest stable version SDKMAN has
86
86
if [ " ${requested_version} " = " lts" ] || [ " ${requested_version} " = " default" ]; then
87
87
requested_version=" "
88
88
elif echo " ${requested_version} " | grep -oE " ${full_version_check} " > /dev/null 2>&1 ; then
@@ -137,6 +137,9 @@ jdk_distro="ms"
137
137
if echo " ${JAVA_VERSION} " | grep -E ' ^8([\s\.]|$)' > /dev/null 2>&1 ; then
138
138
jdk_distro=" tem"
139
139
fi
140
+ if [ " ${JAVA_VERSION} " = " lts" ]; then
141
+ JAVA_VERSION=" 17"
142
+ fi
140
143
sdk_install java ${JAVA_VERSION} " \\ s*" " (\\ .[a-z0-9]+)*-${jdk_distro} \\ s*" " .*-[a-z]+$"
141
144
142
145
echo " Done!"
Original file line number Diff line number Diff line change 9
9
#
10
10
# Syntax: ./java-debian.sh [JDK version] [SDKMAN_DIR] [non-root user] [Add to rc files flag]
11
11
12
- JAVA_VERSION=${1:- " default " }
12
+ JAVA_VERSION=${1:- " lts " }
13
13
export SDKMAN_DIR=${2:- " /usr/local/sdkman" }
14
14
USERNAME=${3:- " automatic" }
15
15
UPDATE_RC=${4:- " true" }
@@ -82,7 +82,7 @@ sdk_install() {
82
82
local suffix=" ${4:- " \\ s*" } "
83
83
local full_version_check=${5:- " .*-[a-z]+" }
84
84
if [ " ${requested_version} " = " none" ]; then return ; fi
85
- # Blank will install latest stable version
85
+ # Blank will install latest stable version SDKMAN has
86
86
if [ " ${requested_version} " = " lts" ] || [ " ${requested_version} " = " default" ]; then
87
87
requested_version=" "
88
88
elif echo " ${requested_version} " | grep -oE " ${full_version_check} " > /dev/null 2>&1 ; then
@@ -137,6 +137,9 @@ jdk_distro="ms"
137
137
if echo " ${JAVA_VERSION} " | grep -E ' ^8([\s\.]|$)' > /dev/null 2>&1 ; then
138
138
jdk_distro=" tem"
139
139
fi
140
+ if [ " ${JAVA_VERSION} " = " lts" ]; then
141
+ JAVA_VERSION=" 17"
142
+ fi
140
143
sdk_install java ${JAVA_VERSION} " \\ s*" " (\\ .[a-z0-9]+)*-${jdk_distro} \\ s*" " .*-[a-z]+$"
141
144
142
145
echo " Done!"
You can’t perform that action at this time.
0 commit comments