From 5219bb80619ddaa9c5ed15d786bf4e779ee61d07 Mon Sep 17 00:00:00 2001
From: Lennart Kramer <lennart.kramer@stud.uni-goettingen.de>
Date: Wed, 24 Jun 2020 16:31:07 +0200
Subject: [PATCH] more sane container name

---
 buildimage.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/buildimage.sh b/buildimage.sh
index 25309a7..2a72cb2 100755
--- a/buildimage.sh
+++ b/buildimage.sh
@@ -10,7 +10,7 @@ echo "sbcl: $1"
 echo "maxima: $2"
 echo "stack: $3"
 # tag the image
-IMAGENAME="$5/sbcl-$1_maxima-$2_stack-$3"
+IMAGENAME="$5/goemaxima:$3"
 # check if the image already exists on the server
 docker pull "${IMAGENAME}"
 # build it
-- 
GitLab