Re: git-diff should not fire up $PAGER if there is no diff
- From
jidanni@jidanni.org <jidanni@jidanni.org>
- Date
- Dec 16, 2008, 17:38 UTC
- Message-ID
- <87iqpkggvk.fsf@jidanni.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