diff options
| author | Jakub Narebski <jnareb@gmail.com> | 2007-06-16 21:03:44 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-06-16 13:08:11 -0700 |
| commit | c9bf7be238ac3c767f9ac6546d5bb7b11765253c (patch) | |
| tree | 0bc9e0797be70a8e33b6f02dee9d9e6052a08cb0 /Documentation/git-rev-parse.txt | |
| parent | 6da08783022ab7e54fcf63c55ea7a52bd3900b99 (diff) | |
| download | git-c9bf7be238ac3c767f9ac6546d5bb7b11765253c.tar.gz | |
Document git rev-parse --is-inside-git-dir
Signed-off-by: Jakub Narebski <jnareb@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-rev-parse.txt')
| -rw-r--r-- | Documentation/git-rev-parse.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Documentation/git-rev-parse.txt b/Documentation/git-rev-parse.txt index e1cb4ef856..87771b832b 100644 --- a/Documentation/git-rev-parse.txt +++ b/Documentation/git-rev-parse.txt @@ -89,6 +89,10 @@ OPTIONS --git-dir:: Show `$GIT_DIR` if defined else show the path to the .git directory. +--is-inside-git-dir:: + Return "true" if we are in the git directory, otherwise "false". + Some commands require to be run in a working directory. + --short, --short=number:: Instead of outputting the full SHA1 values of object names try to abbreviate them to a shorter unique name. When no length is specified |