From a5120e04c983112cba4626abb51b0406c4b2bf29 Mon Sep 17 00:00:00 2001 From: Eelco Cramer Date: Thu, 4 May 2023 09:39:21 +0200 Subject: [PATCH] Removes commands that where added for debugging --- scripts/docker-push.sh | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/scripts/docker-push.sh b/scripts/docker-push.sh index 52187f58..290727ac 100755 --- a/scripts/docker-push.sh +++ b/scripts/docker-push.sh @@ -6,27 +6,24 @@ cd $(dirname "${BASH_SOURCE[0]}")/.. # GIT_BRANCH is the current branch name export GIT_BRANCH=$(git branch --show-current) # GIT_VERSION - always the last verison number, like 1.12.1. -export GIT_VERSION=$(git describe --tags --abbrev=0) +export GIT_VERSION=$(git describe --tags --abbrev=0) # GIT_COMMIT_SHORT - the short git commit number, like a718ef0. export GIT_COMMIT_SHORT=$(git rev-parse --short HEAD) # DOCKER_REPO - the base repository name to push the docker build to. export DOCKER_REPO=$DOCKER_USER/tile38 -docker images -docker inspect $DOCKER_REPO:$GIT_COMMIT_SHORT - if [ "$GIT_BRANCH" != "master" ]; then echo "Not pushing, not on master" elif [ "$DOCKER_USER" == "" ]; then - echo "Not pushing, DOCKER_USER not set" + echo "Not pushing, DOCKER_USER not set" exit 1 elif [ "$DOCKER_LOGIN" == "" ]; then - echo "Not pushing, DOCKER_LOGIN not set" + echo "Not pushing, DOCKER_LOGIN not set" exit 1 elif [ "$DOCKER_PASSWORD" == "" ]; then echo "Not pushing, DOCKER_PASSWORD not set" exit 1 -else +else # setup cross platform builder # https://github.com/tonistiigi/binfmt docker run --privileged --rm tonistiigi/binfmt --install all