git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH] RFC Allow case insensitive search flag with git-grep for fixed-strings

From
Junio C Hamano <gitster@pobox.com>
Date
Nov 16, 2009, 23:36 UTC
Message-ID
<7vocn2m48d.fsf@alter.siamese.dyndns.org>
In-Reply-To
<20091116195050.6117@nanako3.lavabit.com>
Nanako Shiraishi <nanako3@lavabit.com> writes:
Show 11 quoted lines
> Quoting Brian Collins <bricollins@gmail.com>
>
>> You will have to excuse me, this is my first patch and I don't know if
>> this is the right place to post this. Apologies in advance if I'm in
>> the wrong place.
>>
>> git-grep currently throws an error when you combine the -F and -i
>> flags. This isn't in line with how GNU grep handles it. This patch
>> allows the simultaneous use of those flags.
>
> Junio, may I ask what happened to this patch?

We got sidetracked into a larger picture issues of how to allow platform ports to selectively call out to external grep depending on the feature set supported by the external grep implementations.

Later I looked at the original patch, the patch text looked fine (except that I would have called the field "ignorecase", not "caseless"), but it wasn't signed off and did not have usable log message.

And then I forgot ;-)
Thanks for a reminder, and thanks Jeff for a resend.
Previous: Brandon CaseyNext: Junio C Hamano
Message 11 of 13 in “RFC Allow case insensitive search flag with git-grep for fixed-strings”
  1. RFC Allow case insensitive search flag with git-grep for fixed-stringsBrian Collins, Oct 30, 2009
  2. Jeff KingNov 6, 2009
  3. Brian CollinsNov 6, 2009
  4. Junio C HamanoNov 6, 2009
  5. Jeff KingNov 6, 2009
  6. Junio C HamanoNov 7, 2009
  7. Nanako ShiraishiNov 16, 2009
  8. Jeff KingNov 16, 2009
  9. Brian CollinsNov 16, 2009
  10. Brandon CaseyNov 16, 2009
  11. Junio C HamanoNov 16, 2009
  12. Junio C HamanoNov 17, 2009
  13. Jeff KingNov 17, 2009

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.