From 794656cdc1f965ceefb87f732525fcfc2f4e29ed Mon Sep 17 00:00:00 2001
From: Lennart Kramer <lennart.kramer@stud.uni-goettingen.de>
Date: Fri, 10 Jul 2020 17:48:29 +0200
Subject: [PATCH] also update buildimage.sh

---
 buildimage.sh | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/buildimage.sh b/buildimage.sh
index 3e885a4..46d7edc 100755
--- a/buildimage.sh
+++ b/buildimage.sh
@@ -11,8 +11,11 @@ echo "sbcl: $1"
 echo "maxima: $2"
 echo "stack: $3"
 # tag the image
-IMAGENAME="$5/goemaxima-$3:$6"
-IMAGELATEST="$5/goemaxima-$3:latest"
+if [ -n "$6" ]; then
+	IMAGENAME="$5/goemaxima-$3:$6"
+else
+	IMAGENAME="$5/goemaxima-$3:dev"
+fi
 # check if the image already exists on the server
 docker pull "${IMAGENAME}"
 # build it
-- 
GitLab