diff options
author | Petr Baudis <pasky@suse.cz> | 2006-06-18 03:23:58 +0400 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2006-06-19 08:19:07 +0400 |
commit | 7f29f7a95c906250c9c99d08242c2c4084c48d24 (patch) | |
tree | cd28340e59a2c9528b5031328eab2e498701d9b1 /Documentation/git-repo-config.txt | |
parent | 64e86c57867593ba0ee77a7b0ff0eb8e9d4d8ed5 (diff) |
Support for extracting configuration from different files
Add $GIT_CONFIG environment variable whose content is used instead
of .git/config if set. Also add $GIT_CONFIG_LOCAL as a
forward-compatibility cue for whenever we will finally come to support]
global configuration files (properly).
Signed-off-by: Petr Baudis <pasky@suse.cz>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/git-repo-config.txt')
-rw-r--r-- | Documentation/git-repo-config.txt | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Documentation/git-repo-config.txt b/Documentation/git-repo-config.txt index d5142e0dcd..803c0d5cae 100644 --- a/Documentation/git-repo-config.txt +++ b/Documentation/git-repo-config.txt @@ -73,6 +73,18 @@ OPTIONS List all variables set in .git/config. +ENVIRONMENT +----------- + +GIT_CONFIG:: + Take the configuration from the given file instead of .git/config. + +GIT_CONFIG_LOCAL:: + Currently the same as $GIT_CONFIG; when Git will support global + configuration files, this will cause it to take the configuration + from the global configuration file in addition to the given file. + + EXAMPLE ------- |