git grep -O -i: if the pager is 'less', pass the '-I' option

diff --git a/builtin/grep.c b/builtin/grep.c
index 63f86032d91f00fc607f7d3b26ec941bb7a4c76c..1892335c060552e07dbd344001b5d11de47c9c40 100644 (file)
--- a/builtin/grep.c
+++ b/builtin/grep.c
@@ -876,6 +876,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");
+
                if (!strcmp("less", pager) || !strcmp("vi", pager)) {
                        struct strbuf buf = STRBUF_INIT;
                        strbuf_addf(&buf, "+/%s%s",