1
0
mirror of https://github.com/git/git.git synced 2024-11-18 04:43:52 +01:00

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>
This commit is contained in:
Jakub Narebski 2007-06-16 21:03:44 +02:00 committed by Junio C Hamano
parent 6da0878302
commit c9bf7be238

@ -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