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 /cache.h | |
parent | 41c7c1bd6f151f351365451acbf9fade6eb6044c (diff) | |
download | git-54adf3706c5c799584c1bcdcac96fb3285b97de4.tar.gz git-54adf3706c5c799584c1bcdcac96fb3285b97de4.tar.xz |
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 'cache.h')
-rw-r--r-- | cache.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -546,6 +546,7 @@ extern int write_or_whine_pipe(int fd, const void *buf, size_t count, const char /* pager.c */ extern void setup_pager(void); +extern char *pager_program; extern int pager_in_use; extern int pager_use_color; |