On 01/04/12 01:51, Paolo Bonzini wrote: > the difference here is that GREP_OPTIONS=-r, > no matter how debatable it is, is not an unintentional mistake
Yes, but this is completely addressed by the proposed patch in <http://lists.gnu.org/archive/html/bug-grep/2012-01/msg00058.html>, no? > I must add that I rarely use "-r" nowadays I use 'grep -r' all the time. I'm not always in the git world, and it's easier for me to use the same grep tool everywhere. I'm pretty sure I'm not alone in this. > The main disadvantages are: Yes, those are other reasonable arguments. You're getting me to like that proposed patch more and more....
