diff --git a/runner_scripts/root/run.sh b/runner_scripts/root/run.sh index c3f1d51aa38e0f67b3a45dcff9d475b6fadad709..a219b75bc6ea7ce8e052829ef7aec040f9e1bdf2 100755 --- a/runner_scripts/root/run.sh +++ b/runner_scripts/root/run.sh @@ -79,9 +79,9 @@ if [[ ("$2" == "step_script" || "$2" == "build_script") && "${CUSTOM_ENV_NO_SLUR : "${SLURM_NODELIST:="phinally"}" # default node: phinally if [ ! $(sinfo -n "$SLURM_NODELIST" -h -O NodeList) ]; then - echo "Unknown node $SLURM_NODELIST specified. Available nodes: " >&2 + echo "${TXT_RED}${TXT_BOLD}Unknown node \"$SLURM_NODELIST\" specified. Available nodes: ${TXT_CLEAR}" >&2 echo "$(sinfo -N -o '%N %c %m')" >&2 - error + error "Exiting..." fi SLURM_PARTITION=work