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

From: Thomas Rast <trast@inf.ethz.ch>
Date: Feb 20, 2012, 14:06 UTC
Message-ID: <871upp4n15.fsf@thomas.inf.ethz.ch>
In-Reply-To: <7v8vjxnayn.fsf@alter.siamese.dyndns.org>

Junio C Hamano <gitster@pobox.com> writes:

Show 12 quoted lines

> Johannes Sixt <j6t@kdbg.org> writes:
>
>> Am 20.02.2012 03:16, schrieb Junio C Hamano:
>>> 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