From c3657a570059f7f19c91362078de42e110898317 Mon Sep 17 00:00:00 2001
From: Eric Lippmann <eric.lippmann@icinga.com>
Date: Wed, 18 Oct 2017 14:45:58 +0200
Subject: [PATCH] Vagrantfile: Allow local customization via .Vagrantfile.local

---
 Vagrantfile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Vagrantfile b/Vagrantfile
index 11b0c06cc..2f05a5669 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -57,4 +57,8 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
     puppet.manifest_file = "site.pp"
     puppet.options = "--parser=future"
   end
+
+  if File.exists?(".Vagrantfile.local") then
+    eval(IO.read(".Vagrantfile.local"), binding)
+  end
 end