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