--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/descendent-pids Wed Mar 27 11:49:51 2024 -0400
@@ -0,0 +1,10 @@
+#!/usr/bin/env bash
+
+set -euo pipefail
+
+pids="$1"
+
+while [ "$pids" ]; do
+ echo $pids
+ pids=$(for p in $pids; do cat /proc/$p/task/$p/children; done)
+done | tr " " "\n"
--- a/hgrc Wed Mar 20 12:05:34 2024 -0400
+++ b/hgrc Wed Mar 27 11:49:51 2024 -0400
@@ -142,6 +142,7 @@
cmm = commit -m 'Merge'
ct = commit -m 'Update TODO' TODO .TODO.done
cb = commit -m 'Close branch' --close-branch
+cmore = commit -m 'More'
# Merge shortcuts.
mergelocal = !$HG --config ui.merge=internal:local merge $@