diff options
| author | Manlio Perillo <manlio.perillo@gmail.com> | 2012-12-13 18:57:19 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-12-13 10:54:01 -0800 |
| commit | 75940a001acb0c09abea8ac71ed1568ab125c795 (patch) | |
| tree | 965138d0a9fcad5f0c23fecf8a26346126e0bb10 /Documentation | |
| parent | 50b03b04c06f44be0d09bcc2b56723e8de985d9a (diff) | |
| download | git-75940a001acb0c09abea8ac71ed1568ab125c795.tar.gz git-75940a001acb0c09abea8ac71ed1568ab125c795.tar.xz | |
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>
Diffstat (limited to 'Documentation')
| -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 e643683b3..60db2929b 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 |