diff options
| author | Elia Pinto <gitter.spiros@gmail.com> | 2016-09-20 07:33:14 +0000 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2016-09-21 11:12:41 -0700 |
| commit | 92dece7024fc0152c6de41a65cfb0df469c747e5 (patch) | |
| tree | a82f74a1108c04ece47aac9e79075106218e12a6 | |
| parent | 50b4a7807f5f1db79a0a4f4400c29bc00efbd307 (diff) | |
| download | git-ep/doc-check-ref-format-example.tar.gz | |
git-check-ref-format.txt: fixup documentationep/doc-check-ref-format-example
die is not a standard shell function. Use
a different shell code for the example.
Signed-off-by: Elia Pinto <gitter.spiros@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rw-r--r-- | Documentation/git-check-ref-format.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/git-check-ref-format.txt b/Documentation/git-check-ref-format.txt index 91a3622ee4..8611a99120 100644 --- a/Documentation/git-check-ref-format.txt +++ b/Documentation/git-check-ref-format.txt @@ -118,8 +118,8 @@ $ git check-ref-format --branch @{-1} * Determine the reference name to use for a new branch: + ------------ -$ ref=$(git check-ref-format --normalize "refs/heads/$newbranch") || -die "we do not like '$newbranch' as a branch name." +$ ref=$(git check-ref-format --normalize "refs/heads/$newbranch")|| +{ echo "we do not like '$newbranch' as a branch name." >&2 ; exit 1 ; } ------------ GIT |