Add support for pushing to a remote repository using HTTP/DAV

diff --git a/git.sh b/git.sh
index 7400c162578c5e18a2a406b09263394e485e0990..94940aea28a45294126b9065e09017ae302e7a51 100755 (executable)
--- a/git.sh
+++ b/git.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 cmd=
-path=$(dirname $0)
+path=$(dirname "$0")
 case "$#" in
 0)     ;;
 *)     cmd="$1"
@@ -12,13 +12,14 @@ case "$#" in
                exit 0 ;;
        esac
        
-       test -x $path/git-$cmd && exec $path/git-$cmd "$@"
+       test -x "$path/git-$cmd" && exec "$path/git-$cmd" "$@"
        
        case '@@X@@' in
            '')
                ;;
            *)
-               test -x $path/git-$cmd@@X@@ && exec $path/git-$cmd@@X@@ "$@"
+               test -x "$path/git-$cmd@@X@@" &&
+               exec "$path/git-$cmd@@X@@" "$@"
                ;;
        esac
        ;;