From: Junio C Hamano Date: Wed, 14 May 2014 17:57:54 GMT Subject: Re: [PATCH] git grep -O -i: if the pager is 'less', pass the '-i' option Message-ID: In-Reply-To: <20140514155010.GA4592@camelia.ucw.cz> Stepan Kasal writes: > From: Johannes Schindelin > Date: Tue, 8 Feb 2011 00:17:24 -0600 > > Signed-off-by: Johannes Schindelin > Signed-off-by: Stepan Kasal > --- > Hi, > this patch has been in msysgit for 3 1/4 years. > Stepan > > builtin/grep.c | 3 +++ > 1 file changed, 3 insertions(+) > > diff --git a/builtin/grep.c b/builtin/grep.c > index 8073fbe..6c82a29 100644 > --- a/builtin/grep.c > +++ b/builtin/grep.c > @@ -897,6 +897,9 @@ int cmd_grep(int argc, const char **argv, const char *prefix) > if (len > 4 && is_dir_sep(pager[len - 5])) > pager += len - 4; > > + 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. > if (!strcmp("less", pager) || !strcmp("vi", pager)) { > struct strbuf buf = STRBUF_INIT; > strbuf_addf(&buf, "+/%s%s", > -- > 1.9.2.msysgit.0.335.gd2a461f > > -- -- -- *** 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.