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

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

Hi,

On Fri, 27 Nov 2009, Jeff King wrote:

Show 10 quoted lines

> On Fri, Nov 27, 2009 at 09:07:51PM +0100, Johannes Schindelin wrote:
> 
> > > Yes, as a matter of fact, I do work on 10 different computers. I'm sorry 
> > > that you find managing your configuration so challenging. But if you 
> > > don't use the configuration variable, then your own personal setup is 
> > > totally irrelevant.
> > 
> > As I just demonstrated, this is a false statement.
> 
> I must have missed where you demonstrated it.

Usually, my mails are minimal, and I do not write as many mails as I used to anymore, so it is hard to miss what I am saying.

For your benefit: both Junio and me talked about experts helping users. Even if I do not use the config options, I am affected. And it does hurt.

Show 9 quoted lines

> > > If your argument is that this lack of consistency will irritate users,
> > > you need to show that:
> > > 
> > >   1. There are users who switch between a large number of setups, but
> > >      will not apply config consistently.
> > 
> > This is a strawman, and you should be ashamed to put it here.  Just 
> 
> How is this a strawman?

You are comparing config settings which must be different, because they affect _what_ project you are working with, with config settings that affect _how_ you can work with them.

> When the number of "git grep" crash fatalities rises above zero, maybe 
> this line of reasoning will be relevant.

Sure. Let's wait for the first crash fatality, and only react then. No need to think ahead.

That's it. I don't think that I want to participate in this kind of discussion anymore, Dscho