Welcome to mirror list, hosted at ThFree Co, Russian Federation.

git.kernel.org/pub/scm/git/git.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohannes Schindelin <Johannes.Schindelin@gmx.de>2006-04-16 06:44:25 +0400
committerJunio C Hamano <junkio@cox.net>2006-04-16 12:40:04 +0400
commit402461aab17292b78bd36a17bff18e48d544cc9a (patch)
treede1c13b64735dbdcb22ffe937d32874de0cc3b35 /pager.c
parent293532739415d287786a312ec10849723383796e (diff)
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.c17
1 files changed, 10 insertions, 7 deletions
diff --git a/pager.c b/pager.c
index 1364e15d23..e5ba2738b6 100644
--- a/pager.c
+++ b/pager.c
@@ -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);
}