From 5f4c8aafbf5427b67a2f3c81f4955629306a3b38 Mon Sep 17 00:00:00 2001 From: vincent Date: Fri, 25 Aug 2023 12:09:49 +0200 Subject: [PATCH] chore: force vagrant destroy --- makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefile b/makefile index 4ba9cf0..6291f53 100644 --- a/makefile +++ b/makefile @@ -15,7 +15,7 @@ create-dev: make -C ansible deploy_staging destroy-dev: - vagrant destroy + vagrant destroy --force serve: mkdocs serve