From 96d8913e9febfa712c8f96608f00ae1e195dfd18 Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Wed, 3 May 2023 19:46:50 +0200
Subject: [PATCH] Options

---
 run/run.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/run/run.sh b/run/run.sh
index 2d20f12..9829d44 100755
--- a/run/run.sh
+++ b/run/run.sh
@@ -1,5 +1,8 @@
 #!/usr/bin/env bash
-set -Eeuo pipefail
+set -Eeu
+set -o errexit
+set -o pipefail
+set -o nounset
 
 # Docker environment variables