bin/descendent-pids @ 4f28fbfd7d63 default tip

More
author Steve Losh <steve@stevelosh.com>
date Tue, 09 Apr 2024 09:20:04 -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"