From d64536cb7582ed9da2f7ba8868f66206993465fc Mon Sep 17 00:00:00 2001
From: Erich Eckner <erich.eckner.ext@bestsecret.com>
Date: Sat, 7 Sep 2024 11:56:31 +0200
Subject: build-all-with-docker: remove logpipes of packages, where no docker
 is currently running

---
 build-all-with-docker | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'build-all-with-docker')

diff --git a/build-all-with-docker b/build-all-with-docker
index d58d0da66..9289e73d8 100755
--- a/build-all-with-docker
+++ b/build-all-with-docker
@@ -95,3 +95,15 @@ while docker ps --no-trunc | grep -wF "${ids}"; do
 done
 
 check_and_commit_package_updates
+ls */logpipe.* \
+| grep -vwFf <(
+  docker ps --format '{{.Mounts}}' --no-trunc \
+  | sed '
+    s@^.*/@@
+    s@$@/logpipe@
+  '
+) \
+| while read -r pipe; do
+  [ -p "${pipe}" ] || continue
+  rm -f "${pipe}"
+done
-- 
cgit v1.2.3-70-g09d2