From 0b63418f147d96b674464f0f3b33a0c9779f11a8 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Tue, 23 Dec 2025 07:32:02 +0100 Subject: [PATCH] Improve build script --- latex/build-image.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/latex/build-image.sh b/latex/build-image.sh index 6b051f5..b72c1f6 100755 --- a/latex/build-image.sh +++ b/latex/build-image.sh @@ -6,4 +6,6 @@ echo "Build directory is $(pwd)" OLD_IMG=docker image ls -q "$1" docker buildx build . -t "$1" docker push "$1" + +echo "New build uploaded, removing old image, id: $OLD_IMG" docker image rm "$OLD_IMG"