diff --git a/tools/container-pids.sh b/tools/container-pids.sh new file mode 100755 index 0000000..3b99595 --- /dev/null +++ b/tools/container-pids.sh @@ -0,0 +1,14 @@ +#!/usr/bin/env bash + +# https://unix.stackexchange.com/a/299198 +descendent_pids() { + pids=$(pgrep -P $1) + echo $pids + for pid in $pids; do + descendent_pids $pid + done +} + +build_pid=$(pgrep -f '\./build') +echo $build_pid +descendent_pids $build_pid