Ajout : afficher le nom des dépôts pendant les mises à jour de Git

2023-06-16 11:23:01 +02:00 · 2023-06-16 11:23:01 +02:00 · 64d87e1d86
commit 64d87e1d86
parent 4668a5cdd3
1 changed files with 2 additions and 1 deletions
--- a/share/updateall/commands.d/git
+++ b/share/updateall/commands.d/git
@ -1,7 +1,8 @@
 #!/bin/sh
 if cd "${1:-${HOME}/Git}"; then
    for repo in *; do
-        cd "$repo"
+        cd "$repo" || continue
+        printf '\n%s\n' "$repo"
        git pull
        cd ..
    done