Merge branch 'dw/shell-basename-dashdash-before-stripping-leading-dash-from-login'
authorJunio C Hamano <gitster@pobox.com>
Mon, 22 Dec 2014 20:26:48 +0000 (12:26 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 22 Dec 2014 20:26:48 +0000 (12:26 -0800)
* dw/shell-basename-dashdash-before-stripping-leading-dash-from-login:
git-sh-setup.sh: use dashdash with basename call

git-sh-setup.sh
index d968760139b0e7b9219a1602a2e646a3ed398136..c42c6e6365090e22ec7892baa51b919f2898e956 100644 (file)
@@ -81,7 +81,7 @@ if test -n "$OPTIONS_SPEC"; then
                echo exit $?
        )"
 else
-       dashless=$(basename "$0" | sed -e 's/-/ /')
+       dashless=$(basename -- "$0" | sed -e 's/-/ /')
        usage() {
                die "usage: $dashless $USAGE"
        }