diff --git a/buildimage.sh b/buildimage.sh index 6d0abac1659d7249082106469a0aafcfbaaedcca..3e885a448da09d61b456784f745b07aec0326491 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