From 22be5b047ff534d001ff31173ea3c0880bf30a7a Mon Sep 17 00:00:00 2001
From: Benjamin Sago <ogham@bsago.me>
Date: Fri, 28 Apr 2017 19:36:42 +0100
Subject: [PATCH] Switch to an Ubuntu Vagrant image
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

The non-contrib Debian one doesn’t come with guest additions, meaning it used rsync instead of Virtualbox shared folders to sync files, meaning edits made in the VM didn’t get propogated back to the host, meaning I got very confused for a while.

Thanks to the parent commit, this shouldn’t be an issue at all: the default user name, which is now “ubuntu” instead of “vagrant” is specified in a lot fewer places, making it much easier to change.
---
 .gitignore  |  4 ++--
 Vagrantfile | 12 ++++++++----
 2 files changed, 10 insertions(+), 6 deletions(-)

diff --git a/.gitignore b/.gitignore
index a6bf2c7..817a47b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,4 @@
-*~
 target
-testcases
+
 .vagrant
+ubuntu-xenial-16.04-cloudimg-console.log
diff --git a/Vagrantfile b/Vagrantfile
index 9225afc..5468b9c 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -1,11 +1,15 @@
-Vagrant.configure("2") do |config|
-    config.vm.provider "virtualbox" do |v|
+Vagrant.configure(2) do |config|
+    config.vm.provider :virtualbox do |v|
+        v.name = 'exa'
         v.memory = 1024
         v.cpus = 1
     end
 
-    config.vm.box = "debian/jessie64"
-    config.vm.hostname = "exa"
+
+    # We use Ubuntu instead of Debian because the image comes with two-way
+    # shared folder support by default.
+    config.vm.box = 'ubuntu/xenial64'
+    config.vm.hostname = 'exa'
 
 
     # Install the dependencies needed for exa to build.