diff options
| author | Erich Eckner <erich.eckner.ext@bestsecret.com> | 2024-09-07 11:56:31 +0200 |
|---|---|---|
| committer | Erich Eckner <erich.eckner.ext@bestsecret.com> | 2024-09-07 11:56:31 +0200 |
| commit | d64536cb7582ed9da2f7ba8868f66206993465fc (patch) | |
| tree | 06dd0a947b09b0d0ceb162e26f7364d22db6e84b /build-all-with-docker | |
| parent | 5f7f1593eac04cefb2c50bf507801f821d61d124 (diff) | |
| download | archlinuxewe-d64536cb7582ed9da2f7ba8868f66206993465fc.tar.xz | |
build-all-with-docker: remove logpipes of packages, where no docker is currently running
Diffstat (limited to 'build-all-with-docker')
| -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 |