From f7a9bd7bb7d4ffd4b350de74c747dbbe088a4472 Mon Sep 17 00:00:00 2001 From: bel Date: Sat, 28 Oct 2023 10:26:29 -0600 Subject: [PATCH] only try rmi and push before --- build/build.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/build/build.sh b/build/build.sh index 7a2f4c2..598fa36 100644 --- a/build/build.sh +++ b/build/build.sh @@ -7,7 +7,7 @@ cd "$(dirname "$(dirname "$(realpath "$BASH_SOURCE")")")" was=$(docker inspect $img | jq -r .[0].Id | sed 's/^sha256://') docker build -f ./build/Dockerfile -t $img . now=$(docker inspect $img | jq -r .[0].Id | sed 's/^sha256://') -if [ -n "$was" ] && [ "$was" != "$now" ] && docker inspect "$was" &> /dev/null; then - docker rmi "$was" -fi docker push $img +if [ -n "$was" ] && [ "$was" != "$now" ] && docker inspect "$was" &> /dev/null; then + docker rmi "$was" || true +fi