JAL-3521 High quality file icons for jalview associated files, and associated mime...
[jalview.git] / utils / download_jdks.sh
1 #!/usr/bin/env bash
2
3 # see https://api.adoptopenjdk.net/swagger-ui/#/Binary/get_v3_binary_latest__feature_version___release_type___os___arch___image_type___jvm_impl___heap_size___vendor_
4
5
6 ### bs 2020-01-22
7 ### This is a script to download and update the JREs used in the windows, mac (and maybe linux) installations, and update channel
8 ### It creates a structure with
9 ### ./jre-VERSION-OS-ARCH/jre/...
10 ### as used by getdown
11 ### and
12 ### ./tgz/jre-VERSION-OS-ARCH.tgz
13 ### which is an archive of the _contents_ of ./jre-VERSION-OS-ARCH/jre/ and used by install4j for the installer
14
15 BASE=https://api.adoptopenjdk.net/v3/binary/latest
16 RELEASE_TYPE=ga
17 JVM_IMPL=hotspot
18 HEAP_SIZE=normal
19 VENDOR=adoptopenjdk
20 IMAGE_TYPE=jdk
21
22 RM=/bin/rm
23
24 # unzip-strip from https://superuser.com/questions/518347/equivalent-to-tars-strip-components-1-in-unzip
25 unzip-strip() (
26   local zip=$1
27   local dest=${2:-.}
28   local temp=$(mktemp -d) && unzip -qq -d "$temp" "$zip" && mkdir -p "$dest" &&
29   shopt -s dotglob && local f=("$temp"/*) &&
30   if (( ${#f[@]} == 1 )) && [[ -d "${f[0]}" ]] ; then
31     mv "$temp"/*/* "$dest"
32   else
33     mv "$temp"/* "$dest"
34   fi && rmdir "$temp"/* "$temp"
35 )
36
37 for FEATURE_VERSION in 8 11 12 13; do
38   for OS in mac; do
39   #for OS in linux mac windows; do
40     for ARCH in x64; do
41     #for ARCH in aarch64 arm x32 x64; do
42       NAME="${IMAGE_TYPE}-${FEATURE_VERSION}-${OS}-${ARCH}"
43       TARFILE="${NAME}.tgz"
44       echo "* Downloading ${TARFILE}"
45       URL="${BASE}/${FEATURE_VERSION}/${RELEASE_TYPE}/${OS}/${ARCH}/${IMAGE_TYPE}/${JVM_IMPL}/${HEAP_SIZE}/${VENDOR}"
46       wget -q -O "${TARFILE}" "${URL}"
47       if [ "$?" != 0 ]; then
48         echo "- No ${IMAGE_TYPE}-${FEATURE_VERSION} download for ${OS}-${ARCH} '${URL}'"
49         $RM -f "${TARFILE}"
50         continue;
51       fi
52       echo "Unpacking ${TARFILE}"
53       JREDIR="${NAME}/${IMAGE_TYPE}"
54       [ x$NAME != x -a -e "${JREDIR}" ] && $RM -rf "${JREDIR}"
55       mkdir -p "${JREDIR}"
56       if [ x$OS = xwindows ]; then
57         echo "using unzip"
58         unzip-strip "${TARFILE}" "${JREDIR}"
59         RET=$?
60       else
61         echo "using tar"
62         tar --strip-components=1 -C "${JREDIR}" -zxf "${TARFILE}"
63         RET=$?
64       fi
65       if [ "$RET" != 0 ]; then
66         echo "Error unpacking ${TARFILE}"
67         exit 1
68       fi
69       $RM "${TARFILE}"
70     done
71   done
72 done
73