From d2c65f4337d00d2b6be0ec7c0cc21893e49a86cb Mon Sep 17 00:00:00 2001
From: Guilherme Cantoni <guilherme.cantoni@planejamento.gov.br>
Date: Sat, 21 Mar 2015 21:20:30 -0300
Subject: [PATCH] Correção de bug VirtualBox Guest Additions

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

diff --git a/Vagrantfile b/Vagrantfile
index 9511107..4f62fba 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -56,9 +56,9 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
   end
 
   # Correção da bug do VirtualBox relacionado ao Guest Additions
-  config.vm.provision "shell", inline: <<SCRIPT
+  config.vm.provision "shell", run: "always", inline: <<SCRIPT
     apt-get update -y
-    apt-get install linux-headers-$(uname -r) dkms
+    apt-get install -y linux-headers-$(uname -r) dkms
     /etc/init.d/vboxadd setup
 SCRIPT
 
--
libgit2 0.21.2