# Re: git-diff should not fire up $PAGER if there is no diff 3 messages from 2008-12-16 to 2008-12-16. Participants: jidanni@jidanni.org, Jeff King. Thread: https://gitlist.dev/t/16747 ## jidanni@jidanni.org, 2008-12-16 01:16 Subject: Re: git-diff should not fire up $PAGER if there is no diff Message-ID: <87oczcx6ky.fsf@jidanni.org> URL: https://gitlist.dev/e/87oczcx6ky.fsf%40jidanni.org In-Reply-To: ``` >>>>> "JS" == Johannes Schindelin 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, >>>>> "JK" == Jeff King 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. ``` ## Jeff King, 2008-12-16 04:07 Subject: Re: git-diff should not fire up $PAGER if there is no diff Message-ID: <20081216040722.GA4551@coredump.intra.peff.net> URL: https://gitlist.dev/e/20081216040722.GA4551%40coredump.intra.peff.net In-Reply-To: <87oczcx6ky.fsf@jidanni.org> ``` On Tue, Dec 16, 2008 at 09:16:29AM +0800, jidanni@jidanni.org wrote: > 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. Not unreasonable. Care to make a patch to the documentation? -Peff ``` ## jidanni@jidanni.org, 2008-12-16 17:38 Subject: Re: git-diff should not fire up $PAGER if there is no diff Message-ID: <87iqpkggvk.fsf@jidanni.org> URL: https://gitlist.dev/e/87iqpkggvk.fsf%40jidanni.org In-Reply-To: <20081216040722.GA4551@coredump.intra.peff.net> ``` Oh barf, having LESS=F in one's environment messes up less +G: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=508919 ```