From b76d681a0270389996a270fbacf7f9cb2ffdc7df Mon Sep 17 00:00:00 2001 From: James Phillips Date: Tue, 19 May 2015 14:54:26 -0700 Subject: [PATCH] Cleans up Vagrantfile. * Fixes up permissions so `make` runs cleanly after bringing up an environment. * Adds better use of variables for Go paths. * Adds a note about the ancient boxes. * Silences wget spam while provisioning. --- Vagrantfile | 21 ++++++++++++++------- 1 file changed, 14 insertions(+), 7 deletions(-) mode change 100644 => 100755 Vagrantfile diff --git a/Vagrantfile b/Vagrantfile old mode 100644 new mode 100755 index e61a71f388..fe945547a7 --- a/Vagrantfile +++ b/Vagrantfile @@ -6,6 +6,7 @@ VAGRANTFILE_API_VERSION = '2' @script = <