diff options
| author | Junio C Hamano <gitster@pobox.com> | 2012-08-27 11:55:09 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-08-27 11:55:09 -0700 |
| commit | 445d2c51a4b6883d6a7b14228d5de0bb22a09d8e (patch) | |
| tree | 832cd35c548026a9500e075f994902b683b2fb20 /Documentation/config.txt | |
| parent | 2df9988470d8f1ad82a642eb6d5b2ddde1512bc0 (diff) | |
| parent | 84befcd0a4a074e2ae191c32be09d2e82d5db114 (diff) | |
| download | git-445d2c51a4b6883d6a7b14228d5de0bb22a09d8e.tar.gz git-445d2c51a4b6883d6a7b14228d5de0bb22a09d8e.tar.xz | |
Merge branch 'js/grep-patterntype-config'
"grep" learned to use a non-standard pattern type by default if a
configuration variable tells it to.
* js/grep-patterntype-config:
grep: add a grep.patternType configuration setting
Diffstat (limited to 'Documentation/config.txt')
| -rw-r--r-- | Documentation/config.txt | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/Documentation/config.txt b/Documentation/config.txt index a95e5a4ac..6416cae51 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -1210,8 +1210,16 @@ gitweb.snapshot:: grep.lineNumber:: If set to true, enable '-n' option by default. +grep.patternType:: + Set the default matching behavior. Using a value of 'basic', 'extended', + 'fixed', or 'perl' will enable the '--basic-regexp', '--extended-regexp', + '--fixed-strings', or '--perl-regexp' option accordingly, while the + value 'default' will return to the default matching behavior. + grep.extendedRegexp:: - If set to true, enable '--extended-regexp' option by default. + If set to true, enable '--extended-regexp' option by default. This + option is ignored when the 'grep.patternType' option is set to a value + other than 'default'. gpg.program:: Use this custom program instead of "gpg" found on $PATH when |