Make pushing the CI image optional

Also stop script on error. Signed-off-by: Nicolas Bock <nicolasbock@gmail.com>
lanl · May 6, 2020 · 586e9d9 · 586e9d9
1 parent ff38372
commit 586e9d9
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/refresh-ci-images.sh b/refresh-ci-images.sh
@@ -1,11 +1,14 @@
 #!/bin/bash
 
-set -x
+set -x -e
 
 : ${IMAGE_TAG:=bml-ci}
 : ${IMAGE_VERSION:=2}
+: ${PUSH_IMAGE:=no}
 
 for workflow in build lint docs; do
   docker build --tag nicolasbock/${IMAGE_TAG}-${workflow}:${IMAGE_VERSION} ci-images/${workflow}
-  docker push nicolasbock/${IMAGE_TAG}-${workflow}:${IMAGE_VERSION}
+  if [[ ${PUSH_IMAGE} = yes ]]; then
+    docker push nicolasbock/${IMAGE_TAG}-${workflow}:${IMAGE_VERSION}
+  fi
 done