On Wed, Nov 20, 2013 at 6:33 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > Erik Faye-Lund <kusmabite@xxxxxxxxx> 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 <worley@xxxxxxxxxxxx> >>> Suggested-by: Matthieu Moy <Matthieu.Moy@xxxxxxxxxxxxxxx> >>> Signed-off-by: Jeff King <peff@xxxxxxxx> >>> --- >>> 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.... > Yep. This was me simply not thinking things through :) -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html