From 82455c3a7904f3adb5a3040dafe0b4cb660d59cb Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Sun, 4 Oct 2020 15:54:27 +0300
Subject: remove-vm

---
 remove-vm | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100755 remove-vm

diff --git a/remove-vm b/remove-vm
new file mode 100755
index 0000000..d7e9b2a
--- /dev/null
+++ b/remove-vm
@@ -0,0 +1,17 @@
+#!/bin/bash
+
+set -eu -o pipefail
+
+running()
+{
+    virsh domid "$1" > /dev/null
+}
+
+for vm in "$@"
+do
+    if running "$vm"
+    then
+	virsh destroy "$vm" > /dev/null
+    fi
+    virsh undefine "$vm" > /dev/null
+done
-- 
cgit v1.2.1