rename git aliases, simplify push-all

diff --git a/base/.gitconfig b/base/.gitconfig
index 70f8a2ca6a5fd78ffde66276131d4e1fa570c238..f20bd0274bec1ea31f9e133b0e610bd3f96dae11 100644 (file)
--- a/base/.gitconfig
+++ b/base/.gitconfig
@@ -3,5 +3,5 @@
        name = ds6
 
 [alias]
-       pushall = !git remote | tr -s '\\n' '\\0' | xargs -0 -P3 git push
-       pull-submodules = submodule foreach git pull origin master
+       push-all = !git remote | xargs -n1 git push
+       submodules-pull = submodule foreach git pull origin master