From 1f42757d1744d84a9ea613b751d038b440a3616b Mon Sep 17 00:00:00 2001
From: Petr Ruzicka <petr.ruzicka@gmail.com>
Date: Tue, 1 Sep 2020 18:25:51 +0200
Subject: [PATCH] Keep log file on the disk after vagrant_init_destroy_boxes
 ends

---
 vagrant_init_destroy_boxes.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/vagrant_init_destroy_boxes.sh b/vagrant_init_destroy_boxes.sh
index c79cc91a9..e5307eeb8 100755
--- a/vagrant_init_destroy_boxes.sh
+++ b/vagrant_init_destroy_boxes.sh
@@ -100,7 +100,6 @@ vagrant_cleanup() {
   fi
 
   rm -rf "${VAGRANT_CWD}"/{Vagrantfile,.vagrant}
-  rm "${LOG_FILE}"
   rmdir "${VAGRANT_CWD}"
 }