mirrors/git
0
0
Fork 0
mirror of https://github.com/git/git.git synced 2024-11-24 10:26:17 +08:00
Code Issues Packages Projects Releases Wiki Activity

pager: do not fork a pager if PAGER is set to empty.

Browse Source 
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>
This commit is contained in:
Johannes Schindelin 2006-04-16 04:44:25 +02:00 committed by Junio C Hamano
parent 2935327394
commit 402461aab1
1 changed files with 10 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
pager.c
View File

@ -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);
}