builtin/grep: add grep.fallbackToNoIndex config
Currently when git grep is used outside of a git repository without the --no-index option git simply dies. For convenience, add a grep.fallbackToNoIndex configuration variable. If set to true, git grep behaves like git grep --no-index if it is run outside of a git repository. It defaults to false, preserving the current behavior. Helped-by: Jeff King <peff@peff.net> Helped-by: Eric Sunshine <sunshine@sunshineco.com> Signed-off-by: Thomas Gummerer <t.gummerer@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:

committed by
Junio C Hamano

parent
1f5101aee2
commit
ecd9ba6177
@ -770,9 +770,15 @@ int cmd_grep(int argc, const char **argv, const char *prefix)
|
||||
PARSE_OPT_NO_INTERNAL_HELP);
|
||||
grep_commit_pattern_type(pattern_type_arg, &opt);
|
||||
|
||||
if (use_index && !startup_info->have_repository)
|
||||
/* die the same way as if we did it at the beginning */
|
||||
setup_git_directory();
|
||||
if (use_index && !startup_info->have_repository) {
|
||||
int fallback = 0;
|
||||
git_config_get_bool("grep.fallbacktonoindex", &fallback);
|
||||
if (fallback)
|
||||
use_index = 0;
|
||||
else
|
||||
/* die the same way as if we did it at the beginning */
|
||||
setup_git_directory();
|
||||
}
|
||||
|
||||
/*
|
||||
* skip a -- separator; we know it cannot be
|
||||
|
Reference in New Issue
Block a user