From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 20 Feb 2012 08:52:16 GMT
Subject: Re: [PATCH 0/5] diff --ignore-case
Message-ID: <7v8vjxnayn.fsf@alter.siamese.dyndns.org>
In-Reply-To: <4F420749.9010206@kdbg.org>

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.

You can update the hash and recmatch to be locale-aware, which would be an
internal update to xdiff/ directory that is independent of the rest of the
series, and/or the change to plug the machinery to -G.