[docker] exit early if build fails

If the build fails, don't then attempt to run the container-which-wasn't-built
thecodingmachine · Jan 19, 2025 · 2ca726f · 2ca726f
1 parent 4362e78
commit 2ca726f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.devcontainer/build.sh b/.devcontainer/build.sh
@@ -1,3 +1,4 @@
 #!/bin/sh
+set -eu
 cd $(dirname $0)/../
 docker run --rm -v ${PWD}:/app $(docker build -q -f .devcontainer/Dockerfile .)
diff --git a/.devcontainer/run.sh b/.devcontainer/run.sh
@@ -1,3 +1,4 @@
 #!/bin/sh
+set -eu
 cd $(dirname $0)/../
 docker run --rm -ti -v ${PWD}:/app $(docker build -q . -f .devcontainer/Dockerfile) /bin/bash