build-all-with-docker: do not commit sources of still-running dockers

1 files changed, 10 insertions, 1 deletions

diff --git a/build-all-with-docker b/build-all-with-docker
index 8c6573519..a9e1eee86 100755
--- a/build-all-with-docker
+++ b/build-all-with-docker
@@ -36,7 +36,16 @@ ids=$(
 
 check_and_commit_package_updates() {
   [ -z "$(git status --porcelain)" ] && return
-  for pkg in $(git status --porcelain | sed 's@/.*$@@'); do
+  for pkg in $(
+    git status --porcelain \
+    | sed '
+      s@/[^/]\+$@@
+    ' \
+    | grep -vxFf <(
+      docker ps --format '{{.Mounts}}' --no-trunc \
+      | sed 's@^.*/@@'
+    )
+  ); do
     cd "$pkg"
     ../commit-package -a && git push
     cd ..