From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 20 Feb 2012 19:47:58 GMT
Subject: Re: [PATCH 0/5] diff --ignore-case
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 ;-)

> 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?