#!/bin/bash
# Generic runner: executes the command file passed as $1, logs to $1.out
set -uo pipefail
CMD_FILE="$1"
OUT="${CMD_FILE}.out"
{
  echo "=== RUN $(date -Iseconds) ==="
  bash "$CMD_FILE"
  echo "=== EXIT $? ==="
} > "$OUT" 2>&1
echo "DONE:$OUT"