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 /git-clone.sh | |
| 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 'git-clone.sh')
0 files changed, 0 insertions, 0 deletions