global/git
1
0
Fork 0
mirror of https://github.com/git/git.git synced 2026-01-14 04:37:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
This change was left in the stash, for some reason. Squash this in with
the next rebasing merge.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
This commit is contained in:
Johannes Schindelin
2011-02-17 16:09:10 +01:00
parent 60a671c447
commit fc87b9b075
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
builtin/grep.c
View File

@@ -1088,7 +1088,7 @@ int cmd_grep(int argc, const char **argv, const char *prefix)
if (len > 4 && is_dir_sep(pager[len - 5]))
pager += len - 4;
if (!strcmp("less", pager))
if (opt.ignore_case && !strcmp("less", pager))
string_list_append(&path_list, "-i");
if (!strcmp("less", pager) || !strcmp("vi", pager)) {