23 lines
848 B
Bash
Executable File
23 lines
848 B
Bash
Executable File
#!/usr/bin/env bash
|
|
# One SSH connection; verified download and atomic activation outside public roots.
|
|
set -euo pipefail
|
|
ROOT=$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")/.." && pwd)
|
|
source "$ROOT/scripts/lib-env.sh"
|
|
source "$ROOT/packaging/jdk.properties"
|
|
force=0
|
|
case ${1:-} in
|
|
'') ;;
|
|
--force) force=1; shift ;;
|
|
*) echo 'Usage: tools/remote backend install-jdk [--force]' >&2; exit 2 ;;
|
|
esac
|
|
[[ $# == 0 ]] || { echo 'Too many arguments' >&2; exit 2; }
|
|
target=$(env_value BACKEND_SSH)
|
|
target=${target:-mih04-werkjournal@mih04.hostsharing.net}
|
|
jdk_dir=$(env_value BACKEND_JDK_DIR)
|
|
jdk_dir=${jdk_dir:-opt/jdk25}
|
|
{
|
|
printf 'JDK_DIR=%q\nJDK_URL=%q\nJDK_SHA256=%q\nJDK_VERSION=%q\nFORCE=%q\n' \
|
|
"$jdk_dir" "$JDK_URL" "$JDK_SHA256" "$JDK_VERSION" "$force"
|
|
cat "$ROOT/scripts/install-jdk-remote.sh"
|
|
} | ssh -o BatchMode=yes "$target" bash -s
|