bin/descendent-pids @ c0d31d738157 default tip

More
author Steve Losh <steve@stevelosh.com>
date Mon, 02 Mar 2026 13:12:13 -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"