From 94d01e2775fdeb67ab729b4e7b98867e6cd97c16 Mon Sep 17 00:00:00 2001
From: Ralph Ronnquist <ralph.ronnquist@gmail.com>
Date: Mon, 21 Mar 2022 14:29:08 +1100
Subject: [PATCH] added stop script

---
 overlay-stop | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100755 overlay-stop

diff --git a/overlay-stop b/overlay-stop
new file mode 100755
index 0000000..2c57c52
--- /dev/null
+++ b/overlay-stop
@@ -0,0 +1,25 @@
+#!/bin/sh
+#
+# Script to stop the nominated overlay subhost
+
+[ $(id -u) = 0 ] || exec sudo $0 $@
+. $(dirname $(realpath $0))/functions XXX
+
+NAME="$1"
+
+read USPID RSPID <<EOF
+$(is_live $NAME)
+EOF
+
+[ -z "$USPID" ] && echo "$NAME i snot running" >&2 && exit 1
+
+if [ -z "$RSPID" ] ; then
+    cat <<EOF >&2
+***  $NAME is started (pid $USPID) but doesn't seem to be running
+*** /.reaper and might need manual fixing.
+EOF
+    exit 1
+fi
+
+CHILDPIDS="$(nsenter -t $RSPID -p -m ps -hopid --ppid 1)"
+nsenter -t $RSPID -p -m kill $CHILDPIDS
-- 
2.39.2