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