From 1fead15ee41e747180c864b9fb4f01265a0d60b2 Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Thu, 30 Sep 2021 22:09:30 +0200
Subject: [PATCH] quote the tags

Former-commit-id: 3d1c90215c20c271bc0db1760bcd7504b05cd058
---
 .docker/release | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

diff --git a/.docker/release b/.docker/release
index dae22aad63..23048d9668 100755
--- a/.docker/release
+++ b/.docker/release
@@ -23,12 +23,7 @@ docker login docker.io -u $USER
 IMAGE=$(ls -d fda-*)
 for DIR in $IMAGE
 do
-#  CHECK=$(docker images "${USER}/${IMAGE}:${VERSION}" -q)
-#  if [ ! -z $CHECK ]; then
-#    echo "CHECK ${DIR}: tag ${USER}/${IMAGE}:${VERSION} already exists locally"
-#    exit 3
-#  fi
-  echo "TAG ${DIR}"
-  docker tag ${IMAGE}:latest ${USER}/${IMAGE}:${VERSION}
-  docker push ${USER}/${IMAGE}:${VERSION}
+  echo "TAG ${DIR} (local) ${IMAGE}:latest (remote) ${USER}/${IMAGE}:${VERSION}"
+  docker tag "${IMAGE}:latest" "${USER}/${IMAGE}:${VERSION}"
+  docker push "${USER}/${IMAGE}:${VERSION}"
 done
-- 
GitLab