From 23fa43d99571dc38e28aa52550cb8cc83de9ed60 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Tue, 9 Jul 2024 14:47:07 +0200
Subject: build-all-with-docker: do not commit sources of still-running dockers

---
 build-all-with-docker | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

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

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 ..
-- 
cgit v1.2.3-70-g09d2