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

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,

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.