Re: [PATCH] grep: --full-tree

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Nov 29, 2009, 10:21 UTC
Message-ID: <alpine.DEB.1.00.0911291118280.4985@pacific.mpi-cbg.de>
In-Reply-To: <20091127205004.GA26921@coredump.intra.peff.net>

Hi,

On Fri, 27 Nov 2009, Jeff King wrote:

Show 13 quoted lines

> On Fri, Nov 27, 2009 at 10:29:11AM -0800, Junio C Hamano wrote:
> 
> > > If only somebody had written a "pager.status" configuration variable,
> > > you could use that. Oh wait. I did. And it shipped in v1.6.0.
> > 
> > Nice try but, "grep" and "status" are apples and oranges comparision.
> 
> Yes, I think you are right that the existence of pager.* does not
> necessarily imply that there should be a config option for grep. But
> that makes his example even more irrelevant: he is advocating that I use
> a solution in this instance because he uses it in another instance, when
> that solution is not even necessary in the other instance (and as I have
> hopefully already made clear, is in my opinion inferior).

Sorry, no, you got it all wrong.

My point was that your config option introduced something _BAD_. And my point was that now, as a consequence of having managed to put it into Git, you want more of such bad stuff.

You continue to ignore that inconsistency -- even if it is introduced with the best of all intentions -- is bad, bad, bad.

But I guess that I continue to get ignored, Dscho