Re: [PATCH 0/5] diff --ignore-case
From: Junio C Hamano <hidden>
Date: 2016-06-15 22:53:06
Thomas Rast [off-list ref] 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?