diff options
| author | David Reiss <dreiss@facebook.com> | 2008-05-20 06:49:26 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-05-23 21:15:01 (GMT) |
| commit | 0454dd93bfb2334355ec62fff670d8c6cb3570a1 (patch) | |
| tree | 8c0b1ada7cce01e71c2a2bbed0cfd23a26db8ba2 /Documentation/git.txt | |
| parent | d553e737897e8edbbc2092bf345fc58b2dae5251 (diff) | |
| download | git-0454dd93bfb2334355ec62fff670d8c6cb3570a1.zip git-0454dd93bfb2334355ec62fff670d8c6cb3570a1.tar.gz git-0454dd93bfb2334355ec62fff670d8c6cb3570a1.tar.bz2 | |
Add support for GIT_CEILING_DIRECTORIES
Make git recognize a new environment variable that prevents it from
chdir'ing up into specified directories when looking for a GIT_DIR.
Useful for avoiding slow network directories.
For example, I use git in an environment where homedirs are automounted
and "ls /home/nonexistent" takes about 9 seconds. Setting
GIT_CEILING_DIRS="/home" allows "git help -a" (for bash completion) and
"git symbolic-ref" (for my shell prompt) to run in a reasonable time.
Signed-off-by: David Reiss <dreiss@facebook.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git.txt')
| -rw-r--r-- | Documentation/git.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Documentation/git.txt b/Documentation/git.txt index adcd3e0..4ffe802 100644 --- a/Documentation/git.txt +++ b/Documentation/git.txt @@ -415,6 +415,14 @@ git so take care if using Cogito etc. This can also be controlled by the '--work-tree' command line option and the core.worktree configuration variable. +'GIT_CEILING_DIRECTORIES':: + This should be a colon-separated list of absolute paths. + If set, it is a list of directories that git should not chdir + up into while looking for a repository directory. + It will not exclude the current working directory or + a GIT_DIR set on the command line or in the environment. + (Useful for excluding slow-loading network directories.) + git Commits ~~~~~~~~~~~ 'GIT_AUTHOR_NAME':: |