From 98c642f9cb1b143ef3aeddbbb6a9e1a0fc7c01a1 Mon Sep 17 00:00:00 2001
From: Antonio Terceiro <terceiro@softwarelivre.org>
Date: Tue, 21 Oct 2014 15:36:37 -0200
Subject: [PATCH] Use debian wheezy for now for easiness

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

diff --git a/Vagrantfile b/Vagrantfile
index 9973456..7dae607 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -5,7 +5,7 @@
 VAGRANTFILE_API_VERSION = "2"
 
 Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
-  config.vm.box = "centos6"
+  config.vm.box = ENV.fetch("VAGRANT_BOX", 'debian-wheezy')
 
   proxy = ENV['http_proxy'] || ENV['HTTP_PROXY']
   if proxy
--
libgit2 0.21.2