bin/descendent-pids @ 46c8ae0df6cc default tip

More
author Steve Losh <steve@stevelosh.com>
date Thu, 30 Jan 2025 09:44:14 -0500
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"