|
4 | 4 | # Install the latest EV3 JRI bundle |
5 | 5 | function java_install_bundle() { |
6 | 6 | if [ -d "$JRI_PATH_NEW" ]; then |
7 | | - echo "Sorry, we detected a previous installation in path: /opt/jri-10-build-050" |
| 7 | + echo "Detected a previous installation in path: $JRI_PATH_NEW" |
| 8 | + echo "Deleting and reinstalling." |
8 | 9 | echo |
9 | | - exit 1 |
| 10 | + rm -rf "$JRI_PATH_NEW" |
10 | 11 | fi |
11 | 12 |
|
12 | | - if [ ! -f "$JRI_ZIP" ]; then |
13 | | - echo "Downloading new Java..." |
14 | | - wget "$JRI_URL" -O "$JRI_ZIP" |
15 | | - else |
16 | | - echo "Java archive found, using cached." |
17 | | - fi |
| 13 | + pushd "$(dirname $JRI_ZIP)" >/dev/null |
| 14 | + echo "Downloading Java..." |
| 15 | + wget -N "$JRI_URL" |
| 16 | + popd >/dev/null |
18 | 17 |
|
19 | 18 | # extract it, rename it and point the symlink to it |
20 | 19 | echo "Java package acquired, installing..." |
21 | 20 | tar -xf "$JRI_ZIP" -C "$JRI_OPT" |
22 | 21 | mv "$JRI_PATH_ZIP" "$JRI_PATH_NEW" |
23 | | - update-alternatives --install /usr/bin/java java "$JRI_EXE" "$JRI_PRIORITY" |
| 22 | + update-alternatives --install "/usr/bin/java" "java" "$JRI_EXE" "$JRI_PRIORITY" |
24 | 23 |
|
25 | 24 | JAVA_REAL_EXE="$JRI_EXE" |
26 | 25 | } |
@@ -93,20 +92,14 @@ function java_install() { |
93 | 92 | JAVA_VERSION="$(echo "$JAVA_VERSION_RAW" | awk -F '"' '/version/ {print $2}')" |
94 | 93 | JAVA_VERSION_LATEST="${JAVA_LATEST[$PLATFORM]}" |
95 | 94 |
|
96 | | - echo "Installed Java version: '${JAVA_VERSION}'" |
97 | | - |
98 | | - if [ "$JAVA_VERSION" != "$JAVA_VERSION_LATEST" ]; then |
99 | | - echo "Installing latest Java version ($JAVA_VERSION_LATEST)..." |
100 | | - java_just_install |
101 | | - else |
102 | | - echo "Latest major Java version is installed." |
103 | | - fi |
| 95 | + echo "Installed Java version: '${JAVA_VERSION}', latest '${JAVA_VERSION_LATEST}', installing anyway." |
| 96 | + java_just_install |
104 | 97 | } |
105 | 98 |
|
106 | 99 | ############################# |
107 | 100 | # Perform maintenance tasks |
108 | 101 | function java_postinstall() { |
109 | | - update-alternatives --set "/usr/bin/java" "$JAVA_REAL_EXE" |
| 102 | + update-alternatives --set "java" "$JAVA_REAL_EXE" |
110 | 103 |
|
111 | 104 | echo "Output of 'java -version':" |
112 | 105 | "$JAVA_REAL_EXE" -version |
|
0 commit comments