diff options
| author | Manlio Perillo <manlio.perillo@gmail.com> | 2012-12-13 21:57:19 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-12-13 22:54:01 +0400 |
| commit | 75940a001acb0c09abea8ac71ed1568ab125c795 (patch) | |
| tree | 965138d0a9fcad5f0c23fecf8a26346126e0bb10 | |
| parent | 50b03b04c06f44be0d09bcc2b56723e8de985d9a (diff) | |
git.txt: add missing info about --git-dir command-line option
Unlike other environment variables (e.g. GIT_WORK_TREE, GIT_NAMESPACE),
the Documentation/git.txt file did not mention that the GIT_DIR
environment variable can also be set using the --git-dir command line
option.
Signed-off-by: Manlio Perillo <manlio.perillo@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rw-r--r-- | Documentation/git.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/git.txt b/Documentation/git.txt index e643683b3a..60db2929b5 100644 --- a/Documentation/git.txt +++ b/Documentation/git.txt @@ -650,6 +650,7 @@ git so take care if using Cogito etc. If the 'GIT_DIR' environment variable is set then it specifies a path to use instead of the default `.git` for the base of the repository. + The '--git-dir' command-line option also sets this value. 'GIT_WORK_TREE':: Set the path to the working tree. The value will not be |