projects / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2935327) | patch
pager: do not fork a pager if PAGER is set to empty.
authorJohannes Schindelin <Johannes.Schindelin@gmx.de>
Sun, 16 Apr 2006 02:44:25 +0000 (04:44 +0200)
committerJunio C Hamano <junkio@cox.net>
Sun, 16 Apr 2006 08:40:04 +0000 (01:40 -0700)
commit402461aab17292b78bd36a17bff18e48d544cc9a
treede1c13b64735dbdcb22ffe937d32874de0cc3b35tree | snapshot
parent293532739415d287786a312ec10849723383796ecommit | 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>
pager.c diff | blob | history
The core git plumbing