From f7163346a65c6652979083e103e02dc858bd67d3 Mon Sep 17 00:00:00 2001
From: Francois Lesueur <francois.lesueur@univ-ubs.fr>
Date: Fri, 20 May 2022 08:35:36 +0200
Subject: [PATCH] remove vagrant shared folder from the VM when sparsify.sh

---
 vagrant/sparsify.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/vagrant/sparsify.sh b/vagrant/sparsify.sh
index a1ec2a2..75bb5ce 100755
--- a/vagrant/sparsify.sh
+++ b/vagrant/sparsify.sh
@@ -2,6 +2,9 @@
 
 set -e
 
+# Remove vagrant shared folder
+VBoxManage sharedfolder remove milxc-debian-amd64 --name vagrant || true
+
 # Get HD filename
 FILENAME=`vboxmanage showvminfo milxc-debian-amd64 | grep SATA | grep UUID | cut -d':' -f2 | cut -d'(' -f1 | sed -e 's/^[ \t]*//' |  sed -e 's/[ \t]*$//'`