From 4e7376a70b30f488a707a3ddfff34a31b24b3370 Mon Sep 17 00:00:00 2001
From: Christoph Kluenter <ckluente@thoughtworks.com>
Date: Tue, 8 Mar 2016 15:03:41 +0100
Subject: make Vagrantfile compatible with older vagrant versions

---
 Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index a4398b77..25f26b3b 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -22,7 +22,7 @@ Vagrant.configure("2") do |config|
 
   # Fix annoying 'stdin: is not a tty' warning
   # see http://foo-o-rama.com/vagrant--stdin-is-not-a-tty--fix.html
-  config.vm.provision "fix-no-tty", type: "shell" do |s|
+  config.vm.provision "shell" do |s|
     s.privileged = false
     s.inline     = "sudo sed -i '/tty/!s/mesg n/tty -s \\&\\& mesg n/' /root/.profile"
   end
-- 
cgit v1.2.3