diff options
author | Junio C Hamano <gitster@pobox.com> | 2012-08-27 14:11:23 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-08-27 14:11:23 -0700 |
commit | a00504d4382d1ae561f4199e9d3bcf65a8045ecd (patch) | |
tree | 02c2f48bdefba25f947ea52b29fdddda57f18f5d /git-grep.html | |
parent | b9dc76c4ad0987d352a0d26620978a14e8f09714 (diff) | |
download | git-htmldocs-a00504d4382d1ae561f4199e9d3bcf65a8045ecd.tar.gz |
Autogenerated HTML docs for v1.7.12-116-g31e0100
Diffstat (limited to 'git-grep.html')
-rw-r--r-- | git-grep.html | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/git-grep.html b/git-grep.html index 8f14b7a34..abf005682 100644 --- a/git-grep.html +++ b/git-grep.html @@ -623,11 +623,24 @@ grep.lineNumber </p>
</dd>
<dt class="hdlist1">
+grep.patternType
+</dt>
+<dd>
+<p>
+ Set the default matching behavior. Using a value of <em>basic</em>, <em>extended</em>,
+ <em>fixed</em>, or <em>perl</em> will enable the <em>--basic-regexp</em>, <em>--extended-regexp</em>,
+ <em>--fixed-strings</em>, or <em>--perl-regexp</em> option accordingly, while the
+ value <em>default</em> will return to the default matching behavior.
+</p>
+</dd>
+<dt class="hdlist1">
grep.extendedRegexp
</dt>
<dd>
<p>
- If set to true, enable <em>--extended-regexp</em> option by default.
+ If set to true, enable <em>--extended-regexp</em> option by default. This
+ option is ignored when the <em>grep.patternType</em> option is set to a value
+ other than <em>default</em>.
</p>
</dd>
</dl></div>
@@ -1121,7 +1134,7 @@ grep.extendedRegexp <div id="footnotes"><hr /></div>
<div id="footer">
<div id="footer-text">
-Last updated 2012-05-25 13:02:12 PDT
+Last updated 2012-08-27 14:06:30 PDT
</div>
</div>
</body>
|