add container scripts

4 files changed, 12 insertions, 0 deletions

diff --git a/.local/bin/bootstrap-container b/.local/bin/bootstrap-container
new file mode 100755
index 0000000..294d138
--- /dev/null
+++ b/.local/bin/bootstrap-container
@@ -0,0 +1,3 @@
+#!/bin/sh
+echo "/Users/ivi/.okshnew/execers" | entr -n collect-docker-execers /_ &
+sleep infinity
diff --git a/.local/bin/collect-docker-execers b/.local/bin/collect-docker-execers
new file mode 100755
index 0000000..dd4b458
--- /dev/null
+++ b/.local/bin/collect-docker-execers
@@ -0,0 +1,5 @@
+#!/bin/sh
+set -- $(cat "$1")
+if [ $# -gt 0 ]
+then eval "ps eax -o pid,ppid,user,cmd | grep  '^\s\+[0-9]\+\s\+0\s.*' | grep -v -e '^\s\+1\+\s\+0\s' $(for pid; do printf -- '-e HOSTPID=%s ' "$pid"; done) | sed -En 's/^\s+([0-9]+).*/\1/p' | xargs -r kill -s SIGKILL"
+fi
diff --git a/.local/bin/pns b/.local/bin/pns
new file mode 100755
index 0000000..1d31dc3
--- /dev/null
+++ b/.local/bin/pns
@@ -0,0 +1,2 @@
+#!/bin/sh
+oksh -c 'pn exec bootstrap-container &'
diff --git a/.local/bin/write-docker-execers b/.local/bin/write-docker-execers
new file mode 100755
index 0000000..d26e6ba
--- /dev/null
+++ b/.local/bin/write-docker-execers
@@ -0,0 +1,2 @@
+#!/bin/sh
+ps Aeww | grep 'docker exec' | grep -o 'HOSTPID=\S*' | cut -d= -f2