From a84b94e04c597daf3500aafe0876062253f1580c Mon Sep 17 00:00:00 2001 From: Jakob Ackermann Date: Fri, 15 Aug 2025 11:22:17 +0200 Subject: [PATCH] [server-ce] force cleanup of docker images (#27944) GitOrigin-RevId: d515f191c660e382c16497544a6d13e434a3c9e2 --- server-ce/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/server-ce/Makefile b/server-ce/Makefile index 77cd451c7c..5ce972154e 100644 --- a/server-ce/Makefile +++ b/server-ce/Makefile @@ -14,7 +14,7 @@ export OVERLEAF_TAG ?= sharelatex/sharelatex:$(BRANCH_NAME)-$(MONOREPO_REVISION) all: build-base build-community clean: - -docker rmi $(OVERLEAF_BASE_TAG) $(OVERLEAF_TAG) + -docker rmi --force $(OVERLEAF_BASE_TAG) $(OVERLEAF_TAG) build-base: cp .dockerignore $(MONOREPO_ROOT)