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

On Sun, Nov 29, 2009 at 11:28:27AM +0100, Johannes Schindelin wrote:

quoted

quoted

quoted

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.

A point which I adressed in my numbered point (2) in the mail you are
quoting above. But you didn't bother to quote that part.

quoted

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.

You missed my point. My point is that your analogy had many
characteristics that do not apply to this situation. You are comparing a
situation where somebody's preference (to drive on the left side or the
right side) is weighed against a system where everyone needs to follow
the same rule, or people will die in large numbers. The actual situation
at hand is a git grep configuration variable. I am weighing the
preference of people who use git every day and want it to work in a
certain way against the possibility that somebody helping them will be
slightly inconvenienced or surprised. Something that will happen much
less frequently than the person actually _using_ git, and something
which has much smaller negative consequences than people dying.

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

Fine. I have made my point over and over, and not once have you
responded to it directly, so I also feel this is going nowhere.

-Peff