build-all-with-docker: remove logpipes of packages, where no docker is currently running

1 files changed, 12 insertions, 0 deletions

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