diff options
| author | Robert Günzler <r@gnzler.io> | 2023-09-25 11:56:34 +0200 |
|---|---|---|
| committer | Robert Günzler <r@gnzler.io> | 2023-09-25 11:56:34 +0200 |
| commit | f5c219983c0f60a07f1bd52b6f6071e86f35455e (patch) | |
| tree | b7520a02b9822481f29aea4ccb404744a73414b1 /os/etc/s6-rc/src/desktop-session-running/find-marker-proc | |
| parent | 91ba318df1ff9b04d08af373ae904f61a91bf489 (diff) | |
add os config
Signed-off-by: Robert Günzler <r@gnzler.io>
Diffstat (limited to 'os/etc/s6-rc/src/desktop-session-running/find-marker-proc')
| -rwxr-xr-x | os/etc/s6-rc/src/desktop-session-running/find-marker-proc | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/os/etc/s6-rc/src/desktop-session-running/find-marker-proc b/os/etc/s6-rc/src/desktop-session-running/find-marker-proc new file mode 100755 index 0000000..4f39eec --- /dev/null +++ b/os/etc/s6-rc/src/desktop-session-running/find-marker-proc @@ -0,0 +1,15 @@ +#!/bin/sh +# find first process with marker=true envvar set +set -eu +uid="${1:?}" +done= +while true; do + for pid in $(pgrep -u ${uid}); do + if grep -q 'marker=true' /proc/${pid}/environ 2>/dev/null; then + printf "%s" "$pid" + done=1 + break + fi + done + [ -n "$done" ] && break +done |