From 0a1026ca0d5e28b08f1717e5acb0235c06353a4c Mon Sep 17 00:00:00 2001 From: Kroese Date: Wed, 3 May 2023 18:59:25 +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 c0e6fe3..6b7fd7b 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