Re: [PATCH 0/5] diff --ignore-case

Junio C Hamano [off-list ref] writes:

Johannes Sixt [off-list ref] writes:

quoted

Am 20.02.2012 03:16, schrieb Junio C Hamano:

quoted

This teaches our "diff" machinery to optionally consider lines that are
different only in upper/lower-cases to be equivalent.

When would I want to use --ignore-case?

I wouldn't myself; it was just I saw somebody asked if -G can be used to
do case insensitive and then I realized we do not even support such in the
diff machinery to begin with, but now this opens a way to do so by copying
the xdl options when the pickaxe-grep codepath runs a subdiff.

I wonder which one of us misunderstood the original request ;-)

It was

} Is there any way to run diff -G with a case insensitivity flag?

and I took that to mean "I want to find addition/removal of a string
like -G does, but I don't know how it was capitalized".  OTOH you
interpreted it as "I want to run -G but ignore changes in case while
diffing".

So maybe Chris can comment on what was intended?

-- 
Thomas Rast
trast@{inf,student}.ethz.ch