On Sun, Nov 29, 2009 at 11:28:27AM +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. 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. > > 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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html