diff options
author | Brian Gernhardt <benji@silverinsanity.com> | 2007-07-03 14:18:11 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-07-04 10:09:32 -0700 |
commit | 54adf3706c5c799584c1bcdcac96fb3285b97de4 (patch) | |
tree | c53c89a333064d050f77ad622f62891e77e1483b /config.c | |
parent | 41c7c1bd6f151f351365451acbf9fade6eb6044c (diff) | |
download | git-54adf3706c5c799584c1bcdcac96fb3285b97de4.tar.gz |
Add core.pager config variable.
This adds a configuration variable that performs the same function as,
but is overridden by, GIT_PAGER.
Signed-off-by: Brian Gernhardt <benji@silverinsanity.com>
Acked-by: Johannes E. Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'config.c')
-rw-r--r-- | config.c | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -387,6 +387,11 @@ int git_default_config(const char *var, const char *value) return 0; } + if (!strcmp(var, "core.pager")) { + pager_program = xstrdup(value); + return 0; + } + /* Add other config variables here and to Documentation/config.txt. */ return 0; } |