script/clear-target-dir-if-larger-than 🔗
@@ -1,6 +1,6 @@
#!/usr/bin/env bash
-set -eu
+set -euxo pipefail
if [[ $# -ne 1 ]]; then
echo "usage: $0 <MAX_SIZE_IN_GB>"
Ben Kunkle created
Closes #ISSUE
Release Notes:
- N/A *or* Added/Fixed/Improved ...
script/clear-target-dir-if-larger-than | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
@@ -1,6 +1,6 @@
#!/usr/bin/env bash
-set -eu
+set -euxo pipefail
if [[ $# -ne 1 ]]; then
echo "usage: $0 <MAX_SIZE_IN_GB>"