From ff0160935c41208d7f2f170ec097a9db385e4207 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Tue, 23 Dec 2025 07:30:02 +0100 Subject: [PATCH] Update 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 e9a5525..6b051f5 100755 --- a/latex/build-image.sh +++ b/latex/build-image.sh @@ -3,5 +3,7 @@ echo "Build will be tagged with $1" echo "Build directory is $(pwd)" +OLD_IMG=docker image ls -q "$1" docker buildx build . -t "$1" docker push "$1" +docker image rm "$OLD_IMG"