From 71e873f4e813be09bdf4d9198faf8622de43b81d Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Sat, 26 Feb 2022 21:47:19 +0100
Subject: update-all: use /proc/$pid instead of kill -0 $pid

---
 update-all.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/update-all.in b/update-all.in
index 8e8a211..6d36bb2 100644
--- a/update-all.in
+++ b/update-all.in
@@ -95,7 +95,7 @@ fi
 while [ -n "${pids[*]}" ]; do
   if [ -z "${DISPLAY}" ]; then
     for pid in "${pids[@]}"; do
-      if ! kill -0 "${pid}" >/dev/null 2>&1; then
+      if ! [ -d "/proc/${pid}" ]; then
         continue
       fi
       npids+=("${pid}")
@@ -108,7 +108,7 @@ while [ -n "${pids[*]}" ]; do
   pids=(
     $(
       for pid in "${pids[@]}"; do
-        if kill -0 "${pid}" >/dev/null 2>&1; then
+        if [ -d "/proc/${pid}" ]; then
           printf '%s\n' "${pid}"
         fi
       done
-- 
cgit v1.2.3-54-g00ecf