empty commits won't do. Instead, adding the synonym "switch" to checkout.

diff --git a/all b/all
index 67386bcbb9086aa115de93f9461d9b288680f4c1..bfca7a2b69e472769d186d3cc85e1dd3bd62fa1c 100755 (executable)
--- a/all
+++ b/all
@@ -39,7 +39,7 @@ case "$cmd" in
                        fi
                done
                ;;
-       checkout)
+       checkout|switch)
                remote=$1
                branch=$2
                if [ -z "$branch" ]; then