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

Re: [PATCH v2 2/2] pickaxe: allow -i to search in patch case-insensitively

From
Junio C Hamano <gitster@pobox.com>
Date
Feb 29, 2012, 18:05 UTC
Message-ID
<7vpqcxtt01.fsf@alter.siamese.dyndns.org>
In-Reply-To
<20120229091855.GE14181@sigill.intra.peff.net>
Jeff King <peff@peff.net> writes:
> Hmm. So there are actually three potential options to flip. However, I
> think the reasoning above is still sound.

Yes, the grep side of the things is easier to understand and explain if only one option controlled the case insensitivity or whatever aspect of the search: "It is like searching things in 'log -p' output!"

Previous: Thomas Rast
Message 10 of 10 in “"log --regexp-ignore-case -S/-G<string>"”
  1. 0/2 "log --regexp-ignore-case -S/-G<string>"Junio C Hamano, Feb 29, 2012
  2. 1/2 grep: use static trans-case tableJunio C Hamano, Feb 29, 2012
  3. Jeff KingFeb 29, 2012
  4. Junio C HamanoFeb 29, 2012
  5. 2/2 pickaxe: allow -i to search in patch case-insensitivelyJunio C Hamano, Feb 29, 2012
  6. Jeff KingFeb 29, 2012
  7. Junio C HamanoFeb 29, 2012
  8. Jeff KingFeb 29, 2012
  9. Thomas RastFeb 29, 2012
  10. Junio C HamanoFeb 29, 2012

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.