From be98eea4a21cf9971efe77da17f94f658bf87273 Mon Sep 17 00:00:00 2001
From: MJB <mjb@it-innovation.soton.ac.uk>
Date: Wed, 28 Mar 2018 09:33:17 +0100
Subject: [PATCH] deleting VMs using vboxmanage rather than vagrant destroy
---
scripts/build/deleteallvms.sh | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/scripts/build/deleteallvms.sh b/scripts/build/deleteallvms.sh
index e560731..4a1e3fb 100644
--- a/scripts/build/deleteallvms.sh
+++ b/scripts/build/deleteallvms.sh
@@ -1,6 +1,6 @@
#!/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
@@ -8,4 +8,3 @@ while read vm_id; do
vboxmanage unregistervm $vm_id --delete
done <runningvms
-rm runningvms
\ No newline at end of file
--
GitLab