From d3f5d10b3ff0dfd466e1a766b1c6784825263986 Mon Sep 17 00:00:00 2001
From: Michael Jerger <michael.jerger@meissa-gmbh.de>
Date: Fri, 3 Nov 2023 11:07:09 +0100
Subject: [PATCH] fail on install error

---
 infrastructure/web/image/resources/install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infrastructure/web/image/resources/install.sh b/infrastructure/web/image/resources/install.sh
index 1f55e4c..ce36a25 100755
--- a/infrastructure/web/image/resources/install.sh
+++ b/infrastructure/web/image/resources/install.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-set -Eeo pipefail
+set -eux
 
 apt-get update > /dev/null
 apt-get upgrade -y > /dev/null