diff options
| -rwxr-xr-x | git-checkout.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/git-checkout.sh b/git-checkout.sh index 73652fa5f3..cb33fdc7e2 100755 --- a/git-checkout.sh +++ b/git-checkout.sh @@ -1,6 +1,10 @@ #!/bin/sh . git-sh-setup || die "Not a git archive" +usage () { + die "usage: git checkout [-f] [-b <new_branch>] [<branch>] [<paths>...]" +} + old=$(git-rev-parse HEAD) new= force= @@ -26,6 +30,9 @@ while [ "$#" != "0" ]; do --) break ;; + -*) + usage + ;; *) if rev=$(git-rev-parse --verify "$arg^0" 2>/dev/null) then |