Hi, On Mon, 26 May 2008, Andreas Ericsson wrote: > I can't help but think that colorization for external-grep systems only > would still be worthwhile, as the majority of git users are on such > systems. It'd still be a separate implementation from adding it to the > internal grep functionality anyways, so it's not as if work would be > lost by going half the way here. Huh? I thought that the external grep is only a matter of fallback for performance reasons (if the files are already checked out), or if the user specifies the external grep explicitely. At least for the platform we bend over most, our beloved anachronistic M$ Windows, I do not recall forcing external grep. Besides, it would be a kludge at best to work _twice_ to find out the search terms, once in the external grep, and a second time in the coloring code. So I think it should not be done. Ciao, Dscho -- 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
