chore: force vagrant destroy

2023-08-25 12:09:49 +02:00 · 2023-08-25 12:09:49 +02:00 · 5f4c8aafbf
commit 5f4c8aafbf
parent 8bfb3a1361
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -15,7 +15,7 @@ create-dev:
 	make -C ansible deploy_staging

 destroy-dev:
-	vagrant destroy
+	vagrant destroy --force

 serve:
 	mkdocs serve