On Fri, 16 Aug 2013 12:01:32 -0400 wor...@alum.mit.edu (Dale R. Worley) wrote:
> After using "git diff", I believe that Git (184.108.40.206) uses "less" by > default if there is no explicit pager specification (via $PAGER or > Git's core.pager). > > 1) Am I correct? Yes. > 2) I dislike defaulting to using a pager I think you're a part of a minority in this case -- when you work with Git in a shell, having to append " | mypetpager" onto the end of each Git command producing a lengthy output quickly becomes tedious up to a point of creating specific aliases etc. And Git's awareness of the interactivity of the user's terminal does not ends here: if it detects the prospective output would fit into a single screenful, it does not pipe it through less, so when Git is used *interactively,* it's behaviour is just natural -- you have paging exactly when you would need it. > (partly because I dislike "less" in particular). I'm not sure what's wrong with less, really: it supports searching in both directions, has control over line wrapping, supports ANSI color codes and even a mode analogous to `tail -f` -- the latter feature is not applicable here but I'm trying to show that this tool is of general use to a typical command-line-savvy power user. Also I think `less` is considered no less standard than `cat` on a typical contemporary Unix-like system so lots of power users just have finger memory for it, like they do for their text editor of choice. In either case, alternatives exist (I'm able to recall `most` off the top of my mind). > 3) In any case, using a pager by default doesn't seem to be > documented, either on the main "git" manual page or in "git-config". Please consider bringing this up on the main Git list then. -- You received this message because you are subscribed to the Google Groups "Git for human beings" group. To unsubscribe from this group and stop receiving emails from it, send an email to git-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.