diff --git a/buildimage.sh b/buildimage.sh index 25309a7547522b2715b88a7bf9d6f79b4733e06b..2a72cb2ca206603249c7c907b05326c42510a445 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