diff options
| author | Petr Baudis <pasky@suse.cz> | 2007-05-19 02:13:29 +0200 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2007-05-20 20:31:50 -0700 |
| commit | 93d496a560cdcd4f72c8dee1b0b2efa324e1c3bb (patch) | |
| tree | 24e8b184107429905eb438c63f3b63d0bf788026 /Documentation/git-rev-list.txt | |
| parent | 77e4e8bd9b862d7285ca408d5e6dfc2134dba911 (diff) | |
| download | git-93d496a560cdcd4f72c8dee1b0b2efa324e1c3bb.tar.gz | |
git-rev-list: Add regexp tuning options
This patch introduces --extended-regexp and --regexp-ignore-case options to
tune what kind of patterns the pattern-limiting options (--grep, --author,
...) accept.
Signed-off-by: Petr Baudis <pasky@suse.cz>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/git-rev-list.txt')
| -rw-r--r-- | Documentation/git-rev-list.txt | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Documentation/git-rev-list.txt b/Documentation/git-rev-list.txt index c3c2043d18..0dba73f276 100644 --- a/Documentation/git-rev-list.txt +++ b/Documentation/git-rev-list.txt @@ -25,6 +25,7 @@ SYNOPSIS [ \--cherry-pick ] [ \--encoding[=<encoding>] ] [ \--(author|committer|grep)=<pattern> ] + [ \--regexp-ignore-case ] [ \--extended-regexp ] [ \--date={local|relative|default} ] [ [\--objects | \--objects-edge] [ \--unpacked ] ] [ \--pretty | \--header ] @@ -214,6 +215,15 @@ limiting may be applied. Limit the commits output to ones with log message that matches the specified pattern (regular expression). +--regexp-ignore-case:: + + Match the regexp limiting patterns without regard to letters case. + +--extended-regexp:: + + Consider the limiting patterns to be extended regular expressions + instead of the default basic regular expressions. + --remove-empty:: Stop when a given path disappears from the tree. |