set -euo pipefail

Author: ftvkyo

scripts/generate.sh

@@ -1,3 +1,5 @@
 #!/usr/bin/env sh
+set -euo pipefail
+
 cd "$(dirname "$0")/.."
 docker run -it --rm -v $(pwd):/material:ro -v $(pwd)/out:/out ghcr.io/edinburghhacklab/hacklab-training:main /material /out $@

scripts/new-tool.sh

@@ -1,4 +1,6 @@
 #!/usr/bin/env bash
+set -euo pipefail
+
 cd "$(dirname "$0")/.."
 if [[ $# -lt 2 ]]; then
     echo "Usage: $0 <tool name> <tool location>"

scripts/open.sh

@@ -1,4 +1,6 @@
 #!/usr/bin/env sh
+set -euo pipefail
+
 cd "$(dirname "$0")/.."
 ./scripts/generate.sh $@
 xdg-open out/