From 4a7a7a6ddaa7ec9130b56e611d75f6a5e662363d Mon Sep 17 00:00:00 2001 From: Peter Bourgon Date: Thu, 1 Oct 2015 10:54:24 -0400 Subject: [PATCH] Another fix from the old release script --- bin/release | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/bin/release b/bin/release index 53f0b452b..838ea8ccc 100755 --- a/bin/release +++ b/bin/release @@ -172,7 +172,8 @@ publish() { if [ "$RELEASE_TYPE" = 'PRERELEASE' ] ; then echo "== Tagging and pushing images on docker hub as user $DOCKERHUB_USER" - make UPDATE_LATEST=$UPDATE_LATEST SUDO=$SUDO SCOPE_VERSION=$VERSION DOCKERHUB_USER=$DOCKERHUB_USER publish + $SUDO docker tag -f $DOCKERHUB_USER/scope $DOCKERHUB_USER/scope:$VERSION + $SUDO docker push $DOCKERHUB_USER/scope:$VERSION echo "** Docker images tagged and pushed" echo "== Publishing pre-release on GitHub" @@ -204,7 +205,8 @@ publish() { echo '** Sanity checks OK for publishing tag' $LATEST_TAG as $DOCKERHUB_USER/scope:$VERSION echo "== Tagging and pushing images on docker hub as user $DOCKERHUB_USER" - make UPDATE_LATEST=$UPDATE_LATEST SUDO=$SUDO SCOPE_VERSION=$VERSION DOCKERHUB_USER=$DOCKERHUB_USER publish + $SUDO docker tag -f $DOCKERHUB_USER/scope $DOCKERHUB_USER/scope:$VERSION + $SUDO docker push $DOCKERHUB_USER/scope:$VERSION echo "** Docker images tagged and pushed" echo "== Publishing release on GitHub"