quality.sh 655 B

12345678910
  1. #!/usr/bin/env bash
  2. # Run benchmarks/overnight_quality.py from spark2. Usage: quality.sh LABEL [needle_k,...]
  3. set -euo pipefail
  4. ROOT="$(cd "$(dirname "$0")/../.." && pwd)"; cd "$ROOT"
  5. LABEL="$1"; NEEDLES="${2:-}"
  6. R="${RESULTS_DIR:?set RESULTS_DIR}"; mkdir -p "$R"
  7. SSH="ssh -i $HOME/.ssh/id_ed25519_shared -o IdentitiesOnly=yes zurih@spark2"
  8. scp -q -i ~/.ssh/id_ed25519_shared benchmarks/overnight_quality.py zurih@spark2:/tmp/overnight_quality.py
  9. $SSH "BASE_URL=http://10.0.0.1:8888 python3 /tmp/overnight_quality.py /tmp/oq-$LABEL.json '$NEEDLES'" | tee "$R/quality-$LABEL.txt"
  10. scp -q -i ~/.ssh/id_ed25519_shared "zurih@spark2:/tmp/oq-$LABEL.json" "$R/"