diff options
| -rwxr-xr-x | build-all-with-docker | 12 |
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 |