Dear diary, on Mon, May 30, 2005 at 09:42:26AM CEST, I got a letter where Junio C Hamano <junkio@cox.net> told me that... > >>>>> "PB" == Petr Baudis <pasky@ucw.cz> writes: > > PB> It's just something along the lines of "Me Og. Og sees /^+/. Og makes > PB> the line green." written in gawk (actually I'm not sure if pure awk > PB> wouldn't do, but I actually don't know the language), so I don't think > PB> the external diff thing would've helped me with that in any way. > > Ah, I see. I thought you were talking about the Index: and > separator lines. Colorizing diff/patch part, you need to parse > the diff output with sed/awk/perl and annotate it anyway, and it > does not matter if you annotate within GIT_EXTERNAL_DIFF or > outside. I agree with you that using GIT_EXTERNAL_DIFF > mechanism would not help you here. Well, I want to finally converge with the diff format to what git uses. So I'm just colorizing the /^diff --git/ line with a unusually bright color, which will hopefully make up for the Index: and separator lines. -- Petr "Pasky" Baudis Stuff: http://pasky.or.cz/ C++: an octopus made by nailing extra legs onto a dog. -- Steve Taylor - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.htmlReceived on Mon May 30 18:31:07 2005
This archive was generated by hypermail 2.1.8 : 2005-05-30 18:31:08 EST