From: Jeff King Date: Tue, 16 Dec 2008 04:07:22 GMT Subject: Re: git-diff should not fire up $PAGER if there is no diff Message-ID: <20081216040722.GA4551@coredump.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