bin/descendent-pids @ 62e329839625 default tip

Merge
author Steve Losh <steve@stevelosh.com>
date Wed, 27 Aug 2025 16:19:24 -0400
parents c0175626e056
children (none)
#!/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"