commit 4c5fa3e726cbb5f40e380bc129850282e689a6d2 Author: fh fh-github@fholzhauer.de Date: Sun Jul 28 10:55:56 2013 +0200

wrong box name fixed --- Vagrantfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile index 493580f..a5658ec 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -5,7 +5,7 @@ Vagrant.configure("2") do |config| # All Vagrant configuration is done here. The most common configuration # options are documented and commented below. For a complete reference, # please see the online documentation at vagrantup.com. - config.vm.box = "precise" + config.vm.box = "precise32" config.vm.box_url = "http://files.vagrantup.com/precise32.box"

config.vm.synced_folder ".", "/usr/share/ooni/"