diff options
author | David Wührer <def@gmx.at> | 2024-05-18 21:04:34 +0200 |
---|---|---|
committer | David Wührer <def@gmx.at> | 2024-05-18 21:04:34 +0200 |
commit | 77cfffee6177fb0421fa0fce15d6a1875bde4816 (patch) | |
tree | 251428cdd482ea50cfb019dbd3c3bafd79d2fd14 /pf | |
parent | 75b23ce1ff0daab363725a2a5755ea80bbeaa68e (diff) |
manuals, sum-down, radix
Diffstat (limited to 'pf')
-rwxr-xr-x | pf | 38 |
1 files changed, 0 insertions, 38 deletions
@@ -1,38 +0,0 @@ -#!/bin/bash - -set -ue - -get_parent () { - ps hoppid p$1 -} - -get_children () { - ps hopid --ppid "$1" -} - -get_ancestors () { - case $1 in - 0|1|'') : - ;; *) get_ancestors $(get_parent $1) - esac - echo "$1" -} - -get_descendents () { - for c in $(get_children "$1") - do echo "$c" - get_descendents "$c" - done -} - -declare -i p -for p in "$@" -do - [[ $p -ne 0 ]] && { - get_ancestors "$p" - get_descendents "$p" - } | { - readarray -t pids - ps -Hf "${pids[@]}" | sed "/^[^ ]* *$p /s/.*/[1m&[0m/" - } -done |