From 9668af79f4fbde9fe46aac47ed7e6aef8b96281d Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Tue, 23 Dec 2025 08:14:58 +0100 Subject: [PATCH] Update build script --- latex/build-image.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/latex/build-image.sh b/latex/build-image.sh index 9c6814c..05b141a 100755 --- a/latex/build-image.sh +++ b/latex/build-image.sh @@ -14,6 +14,6 @@ docker push "$1" if [ -n "$OLD_IMG" ]; then if [ "$OLD_IMG" != "$(docker image ls -q "$1")" ]; then echo "New build uploaded, removing old image, id: $OLD_IMG" - docker image rm "$OLD_IMG" || true + docker image rmi -f "$OLD_IMG" || true fi fi