From 7ab19c5221a5c43113d371fe2d44b18e520f6f75 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Sun, 2 Jun 2019 10:11:45 -0300 Subject: Use default generated options in env.sh for Bash files --- env.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/env.sh b/env.sh index 60a9d60..67259d0 100644 --- a/env.sh +++ b/env.sh @@ -1,5 +1,5 @@ #!/usr/bin/env bash -set -euo pipefail +set -Eeuo pipefail cd "$(dirname "${BASH_SOURCE[0]}")" export SERVER_URL=root@euandre.org -- cgit v1.2.3