Réécriture de la liste de commandes à exécuter pour mettre à jour les repo Git

2023-05-03 08:06:35 +02:00 · 2023-05-03 08:06:35 +02:00 · 2cf86a8fe4
commit 2cf86a8fe4
parent 98f29b5f47
1 changed files with 7 additions and 12 deletions
--- a/share/updateall/commands.d/git
+++ b/share/updateall/commands.d/git
@ -1,14 +1,9 @@
-if [[ -d ~/Git ]]; then
-	pushd "${HOME}/Git" > /dev/null
-	for repo in ./*; do
-		cd "$repo"
-		echo
-		basename "$repo"
-		git pull
-		cd ..
-	done
-	popd > /dev/null
-else
-	>&2 echo "\"~/Git\" does not exist!"
+if pushd ~/Git; then
+    for repo in *; do
+        pushd "$repo"
+        git pull
+        popd
+    done
+    popd
 fi