From 7b8c6048c6357ed843d906b0c92ae1cbf86975b0 Mon Sep 17 00:00:00 2001 From: Kroese Date: Wed, 3 May 2023 19:02:51 +0200 Subject: [PATCH] Pipefail --- run/disk.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run/disk.sh b/run/disk.sh index e2852b3..abdd2a8 100644 --- a/run/disk.sh +++ b/run/disk.sh @@ -1,5 +1,5 @@ #!/usr/bin/env bash -set -eu +set -Eeuo pipefail # Docker environment variables