From 2a050c3c1990d6d5ca8dbc81ec6a36e1aeeb1fe2 Mon Sep 17 00:00:00 2001
From: Lennart Kramer <lennart.kramer@stud.uni-goettingen.de>
Date: Fri, 10 Jul 2020 17:41:00 +0200
Subject: [PATCH] also push latest
---
buildimage.sh | 1 +
1 file changed, 1 insertion(+)
diff --git a/buildimage.sh b/buildimage.sh
index 6d0abac..3e885a4 100755
--- a/buildimage.sh
+++ b/buildimage.sh
@@ -12,6 +12,7 @@ echo "maxima: $2"
echo "stack: $3"
# tag the image
IMAGENAME="$5/goemaxima-$3:$6"
+IMAGELATEST="$5/goemaxima-$3:latest"
# check if the image already exists on the server
docker pull "${IMAGENAME}"
# build it
--
GitLab