From 62e17602e001d13883451ae81b9f7866ad55f8cd Mon Sep 17 00:00:00 2001
From: PGijsbers <p.gijsbers@tue.nl>
Date: Wed, 10 Dec 2025 11:46:23 +0100
Subject: [PATCH] Set options to abort setup if something goes wrong

---
 docker/set_configuration.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docker/set_configuration.sh b/docker/set_configuration.sh
index c05d7257..ae1c1382 100755
--- a/docker/set_configuration.sh
+++ b/docker/set_configuration.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -euxo pipefail
+
 # TODO: read credentials from secrets instead
 OPENML_PATH=${OPENML_PATH:-/var/www/}
 BASE_CONFIG_PATH=${OPENML_PATH}openml/openml_OS/config/BASE_CONFIG.php