# HG changeset patch # User Steve Losh # Date 1711554591 14400 # Node ID c0175626e0561bc2d5cd91ef3504ff1089db2c31 # Parent e6e13bf8dad4ee3f49981bb9f23f247924d339eb More diff -r e6e13bf8dad4 -r c0175626e056 bin/descendent-pids --- /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" diff -r e6e13bf8dad4 -r c0175626e056 hgrc --- 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 $@