#!/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