From 8b42a7718ec1cdf96479780286ac53fa80789235 Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Wed, 3 May 2023 19:52:06 +0200
Subject: [PATCH] Pipefail

---
 run/run.sh | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

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