Re: [PATCH 0/5] diff --ignore-case
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Feb 20, 2012, 19:47 UTC
- Message-ID
- <7vvcn1l21d.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <871upp4n15.fsf@thomas.inf.ethz.ch>
Thomas Rast <trast@inf.ethz.ch> writes:
> I wonder which one of us misunderstood the original request ;-)
Heh, I did ;-)
Show 6 quoted lines
> 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".
I think it is just the matter of checking REG_ICASE that may be set in revs->grep_filter.regflags, and propagating it down to the regcomp at the beginning of diffcore_pickaxe_grep().
Want to try and see how well it works?