Re: [PATCH 0/5] diff --ignore-case
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Feb 20, 2012, 08:52 UTC
- Message-ID
- <7v8vjxnayn.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <4F420749.9010206@kdbg.org>
Johannes Sixt <j6t@kdbg.org> writes:
Show 5 quoted lines
> 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.