diff options
| author | Christoph Kluenter <ckluente@thoughtworks.com> | 2016-03-08 15:03:41 +0100 |
|---|---|---|
| committer | Christoph Kluenter <ckluente@thoughtworks.com> | 2016-03-08 15:03:41 +0100 |
| commit | 4e7376a70b30f488a707a3ddfff34a31b24b3370 (patch) | |
| tree | 9f93af38908683573f3b7affcf2db307a6b882c6 | |
| parent | 65d01365ac0e1ab25189ee9b58546e85cd806da4 (diff) | |
make Vagrantfile compatible with older vagrant versions
| -rw-r--r-- | Vagrantfile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |