From d29cc85fd3d7603a133919b6003c42cc1e8ed07b Mon Sep 17 00:00:00 2001
From: MJB <mjb@it-innovation.soton.ac.uk>
Date: Wed, 28 Mar 2018 09:35:29 +0100
Subject: [PATCH] deleting VMs using vboxmanage rather than vagrant destroy

---
 scripts/build/deleteallvms.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/build/deleteallvms.sh b/scripts/build/deleteallvms.sh
index 4a1e3fb..06196df 100644
--- a/scripts/build/deleteallvms.sh
+++ b/scripts/build/deleteallvms.sh
@@ -1,10 +1,10 @@
 #!/bin/bash
 
-vboxmanage list vms | awk '{print $1} ' | awk -F',' '{gsub(/"/, "", $1); print $1}' > runningvms
+vboxmanage list vms | awk ' {print $1} ' | awk -F',' '{gsub(/"/, "", $1); print $1}' > runningvms
 
 while read vm_id; do
   echo $vm_id
   vboxmanage controlvm $vm_id poweroff
   vboxmanage unregistervm $vm_id --delete
-done <runningvms
+done <runningvms 
 
-- 
GitLab