From f49d0752bbcdc9440309acd0a197e08ffab8d44d Mon Sep 17 00:00:00 2001
From: Christian Berendt <berendt@b1-systems.de>
Date: Thu, 7 Aug 2014 11:04:37 +0200
Subject: [PATCH] Resolve Vagrant issue 1673

When using the shell or puppet provisionier with Ubuntu there is
always an error message 'stdin: is not a tty'. According to the
bugreport https://github.com/mitchellh/vagrant/issues/1673
using 'bash -c 'BASH_ENV=/etc/profile exec bash'' as shell solves
this issue.

Change-Id: I4aa8b51545f881e548830f91d5b5c543bd6ef613
---
 Vagrantfile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Vagrantfile b/Vagrantfile
index d97a7c6..9bd55e5 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -89,6 +89,10 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
     config.cache.scope = :box
   end
 
+  # NOTE(berendt): This solves the Ubuntu-specific Vagrant issue 1673.
+  #                https://github.com/mitchellh/vagrant/issues/1673
+  config.ssh.shell = "bash -c 'BASH_ENV=/etc/profile exec bash'"
+
   config.vm.define "manager" do |manager|
     configure_vm("manager", manager.vm, conf)
   end