From d2426530f394e6ba0f1318f4963ef47d48377677 Mon Sep 17 00:00:00 2001
From: Michael Huynh <mike.huynh@gmail.com>
Date: Sun, 3 Nov 2013 13:09:32 -0500
Subject: [PATCH] Set Ubuntu Raring cloud box `--ostype=Ubuntu_64` to fix
 virtualbox boot issue.

---
 Vagrantfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Vagrantfile b/Vagrantfile
index 1d4d4e483..b09f907a6 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -22,6 +22,9 @@ Vagrant::configure("2") do |config|
 
   config.vm.provider :virtualbox do |vb|
     vb.customize ["modifyvm", :id, "--natdnshostresolver1", "on"]
+    # Ubuntu's Raring 64-bit cloud image is set to a 32-bit Ubuntu OS type by
+    # default in Virtualbox and thus will not boot. Manually override that.
+    vb.customize ["modifyvm", :id, "--ostype", "Ubuntu_64"]
   end
 
   config.vm.provision :shell, :inline => "apt-get -y install git && cd /root/dokku && #{make_cmd}"