From eff7fd01ca889399e729ba2b3694db0561bca6e3 Mon Sep 17 00:00:00 2001
From: bel <bel@bel.bel>
Date: Sat, 28 Oct 2023 09:24:37 -0600
Subject: [PATCH] complete i think

---
 build.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.sh b/build.sh
index f85ac76..efd65a8 100644
--- a/build.sh
+++ b/build.sh
@@ -10,10 +10,10 @@ get_sha() {
 }
 
 was=$(get_sha)
-docker build -f ./Dockerfile -t $img:$t --progress plain .
+docker build -f ./Dockerfile -t $img:$t .
 docker push $img:$t
 now=$(get_sha)
 if [ -n "$was" ] && [ "$was" != "$now" ]; then
    echo pruning old $was
-   docker rmi "$was"
+   docker rmi "$was" || true
 fi