bin/descendent-pids @ 16331fb57509 default tip

More
author Steve Losh <steve@stevelosh.com>
date Wed, 05 Feb 2025 11:30:40 -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"