From 3dfdb9a30981ef98005018812858cc7ccbde5339 Mon Sep 17 00:00:00 2001
From: David Duque <david.f.s.duque@tecnico.ulisboa.pt>
Date: Fri, 3 Jul 2020 19:01:16 +0100
Subject: [PATCH] Update Vagrantfile to pull from development branch

---
 Vagrantfile | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index 5f9d780f..2d6d3a0d 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -26,8 +26,22 @@ Vagrant.configure("2") do |config|
     export PRIMARY_HOSTNAME=auto
     #export SKIP_NETWORK_CHECKS=1
 
+    if [ ! git ]
+    then
+      apt update
+      apt install git
+    fi
+
+    if [ ! -d /mailinabox ];
+    then
+      git clone https://github.com/ddavness/power-mailinabox.git /mailinabox
+    fi
+
     # Start the setup script.
-    cd /vagrant
+    cd /mailinabox
+    git checkout development
+    git pull
+
     setup/start.sh
 SH
 end