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

Re: [PATCH] git grep -O -i: if the pager is 'less', pass the '-i' option

From
Johannes Schindelin <johannes.schindelin@gmx.de>
Date
May 15, 2014, 17:44 UTC
Message-ID
<alpine.DEB.1.00.1405151943310.14982@s15462909.onlinehome-server.info>
In-Reply-To
<xmqqvbt8jjlg.fsf@gitster.dls.corp.google.com>
Hi Junio,
On Wed, 14 May 2014, Junio C Hamano wrote:
Show 16 quoted lines
> Jonathan Nieder <jrnieder@gmail.com> writes:
> 
> >>> +		if (opt.ignore_case && !strcmp("less", pager))
> >>> +			string_list_append(&path_list, "-i");
> >>
> >> I have a feeling that this goes against the recent trend of not
> >> mucking with the expectation of the users on their pagers, if I
> >> recall correctly the arguments for dropping S from the default given
> >> to an unconfigured LESS environment variable.
> >
> > It's just missing an explanation.
> > ...
> > (That's -I, not -i, because it ought to work even when the pattern
> > contains capital letters.)
> 
> Spot on.  The change, especially with "-I", makes sense.

Except that it was not tested with -I. If you change it that way and it stops working on Windows, it's useless to me.

Ciao, Johannes

-- 
-- 
*** Please reply-to-all at all times ***
*** (do not pretend to know who is subscribed and who is not) ***
*** Please avoid top-posting. ***
The msysGit Wiki is here: https://github.com/msysgit/msysgit/wiki - Github accounts are free.

You received this message because you are subscribed to the Google
Groups "msysGit" group.
To post to this group, send email to msysgit@googlegroups.com
To unsubscribe from this group, send email to
msysgit+unsubscribe@googlegroups.com
For more options, and view previous threads, visit this group at
http://groups.google.com/group/msysgit?hl=en_US?hl=en

--- 
You received this message because you are subscribed to the Google Groups "msysGit" group.
To unsubscribe from this group and stop receiving emails from it, send an email to msysgit+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Previous: Junio C HamanoNext: Jonathan Nieder
Message 6 of 14 in “git grep -O -i: if the pager is 'less', pass the '-i' option”
  1. git grep -O -i: if the pager is 'less', pass the '-i' optionStepan Kasal, May 14, 2014
  2. Junio C HamanoMay 14, 2014
  3. Matthieu MoyMay 14, 2014
  4. Jonathan NiederMay 14, 2014
  5. Junio C HamanoMay 14, 2014
  6. Johannes SchindelinMay 15, 2014
  7. Jonathan NiederMay 15, 2014
  8. Johannes SchindelinMay 15, 2014
  9. Junio C HamanoMay 15, 2014
  10. Stepan KasalMay 14, 2014
  11. Jeff KingMay 14, 2014
  12. Johannes SchindelinMay 15, 2014
  13. Jonathan NiederMay 15, 2014
  14. Jeff KingMay 15, 2014

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.