From 8c37ac76900b06794d99e2a7124af21b8093d7fe Mon Sep 17 00:00:00 2001
From: Joseph Hunkeler <jhunkeler@gmail.com>
Date: Thu, 28 Feb 2019 14:46:07 -0500
Subject: Tack Jupyter scripts on top

---
 build.sh | 23 +++++++++++++++--------
 1 file changed, 15 insertions(+), 8 deletions(-)

(limited to 'build.sh')

diff --git a/build.sh b/build.sh
index a82ef7e..9a344a1 100755
--- a/build.sh
+++ b/build.sh
@@ -53,15 +53,22 @@ fi
 max_retry=4
 retry=0
 set +e
-while (( retry != max_retry ))
+for tag in "${TAGS[@]}"
 do
-    echo "Push attempt #$(( retry + 1 ))"
-    docker push "${PROJECT}:${image_tag}"
-    rv=$?
-    if [[ ${rv} == 0 ]]; then
-        break
-    fi
-    (( retry++ ))
+    # strip argument prefix
+    tag=${tag#"-t"}
+    tag=${tag#" "}
+
+    while (( retry != max_retry ))
+    do
+        echo "Push attempt #$(( retry + 1 ))"
+        docker push "${tag}"
+        rv=$?
+        if [[ ${rv} == 0 ]]; then
+            break
+        fi
+        (( retry++ ))
+    done
 done
 
 exit ${rv}
-- 
cgit