Erik Faye-Lund <[email protected]> writes:
>> ...
>> is set to empty., 2006-04-16). At that time, the line
>> directly above used:
>>
>> if (!pager)
>> pager = "less";
>>
>> as a fallback, meaning that it could not possibly trigger
>> the optimization. Later, a3d023d (Provide a build time
>> default-pager setting, 2009-10-30) turned that constant into
>> a build-time setting which could be anything, but didn't
>> loosen the "else" to let DEFAULT_PAGER use the optimization.
>>
>> Noticed-by: Dale R. Worley <[email protected]>
>> Suggested-by: Matthieu Moy <[email protected]>
>> Signed-off-by: Jeff King <[email protected]>
>> ---
>> pager.c | 2 +-
>> 1 file changed, 1 insertion(+), 1 deletion(-)
>>
>> diff --git a/pager.c b/pager.c
>> index c1ecf65..fa19765 100644
>> --- a/pager.c
>> +++ b/pager.c
>> @@ -54,7 +54,7 @@ const char *git_pager(int stdout_is_tty)
>> pager = getenv("PAGER");
>> if (!pager)
>> pager = DEFAULT_PAGER;
>> - else if (!*pager || !strcmp(pager, "cat"))
>> + if (!*pager || !strcmp(pager, "cat"))
>
> Hmmpf. It's sometimes useful to actually pipe through cat rather than
> disabling the pager, as this changes the return-code from isatty. I
> sometimes use this for debugging-purposes. Does this patch break that?
If you have been running "GIT_PAGER=cat git whatever" and the like,
we did not pipe the output through "cat" and this has been the case
for a long time. The only thing the patch in question changed is
for those who build with
make DEFAULT_PAGER=cat
and I doubt that you have been debugging git by rebuilding it with
such a setting, so....
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html
