diff options
author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2006-04-16 04:44:25 +0200 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2006-04-16 01:40:04 -0700 |
commit | 402461aab17292b78bd36a17bff18e48d544cc9a (patch) | |
tree | de1c13b64735dbdcb22ffe937d32874de0cc3b35 /pager.c | |
parent | 293532739415d287786a312ec10849723383796e (diff) | |
download | git-402461aab17292b78bd36a17bff18e48d544cc9a.tar.gz |
pager: do not fork a pager if PAGER is set to empty.
This skips an extra pipe, and helps debugging tremendously.
[jc: PAGER=cat is a questionable hack and should be done as a separate
patch. ]
Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'pager.c')
-rw-r--r-- | pager.c | 17 |
1 files changed, 10 insertions, 7 deletions
@@ -5,22 +5,24 @@ * something different on Windows, for example. */ -static void run_pager(void) +static void run_pager(const char *pager) { - const char *prog = getenv("PAGER"); - if (!prog) - prog = "less"; - setenv("LESS", "-S", 0); - execlp(prog, prog, NULL); + execlp(pager, pager, NULL); } void setup_pager(void) { pid_t pid; int fd[2]; + const char *pager = getenv("PAGER"); if (!isatty(1)) return; + if (!pager) + pager = "less"; + else if (!*pager) + return; + if (pipe(fd) < 0) return; pid = fork(); @@ -43,6 +45,7 @@ void setup_pager(void) close(fd[0]); close(fd[1]); - run_pager(); + setenv("LESS", "-S", 0); + run_pager(pager); exit(255); } |