Re: git-diff should not fire up $PAGER if there is no diff

quoted

quoted

quoted

quoted

"JS" == Johannes Schindelin [off-list ref] writes:

JS> Maybe you are not aware just how annoying these "this should do that, that
JS> should do this" without a patch are?

Yes but I must first learn the thing I am about to make a patch for.

In the mean time I could like most beginners, just feel dumb.

Or I could let you have my valuable insights on how things look to a
beginner. You would else have no way of knowing. Sorry I always come
across as Don Rickles the pushy customer... it's all a charade... now
let's get back to business,

quoted

quoted

quoted

quoted

"JK" == Jeff King [off-list ref] writes:

JK> The usual workaround is to ask the pager to exit immediately if the
JK> output is small. I.e., putting "F" in your LESS variable (which git does
JK> automatically if you don't already have LESS set).

Ah, but who doesn't have LESS set these days? OK, the man page should
mention that so people will put the F on their LESS variable, like I
recall another man page already does.