From 8cffca9f3b70d08d30ce21f068748e1fdac51668 Mon Sep 17 00:00:00 2001
From: Christian Rebischke <Chris.Rebischke@posteo.de>
Date: Sun, 13 Aug 2017 15:47:26 +0200
Subject: [PATCH] bugfix for optional zero_write

---
 vagrant.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vagrant.json b/vagrant.json
index 874bae0..4c0b8f5 100644
--- a/vagrant.json
+++ b/vagrant.json
@@ -134,7 +134,7 @@
             "scripts": [
                 "provision/write_zeroes.sh"
             ],
-            "execute_command": "if [ ! -z \"{{user `write_zeroes`}}\" ]; echo 'vagrant'|sudo -S sh '{{.Path}}'; fi"
+            "execute_command": "if [ ! -z \"{{user `write_zeroes`}}\" ]; then echo 'vagrant'|sudo -S sh '{{.Path}}'; fi"
         }
     ],
     "post-processors": [
-- 
GitLab