diff options
| author | LawAbidingCactus <lawabidingcactus@lawabidingcactus.com> | 2019-08-07 17:47:18 +0000 |
|---|---|---|
| committer | Andrew Gallant <jamslam@gmail.com> | 2019-08-07 13:47:18 -0400 |
| commit | 81415ae52df4356f33099ec5ccfd7793cf4e10de (patch) | |
| tree | d2ee7025e0a4f7488be37bd24310222af4efcb2e | |
| parent | 5c4584aa7c797a8c5f2ebebb4c47e7e58cae773b (diff) | |
doc: update to reflect glob matching behavior change
Specifically, paths contains a `/` are not allowed to match any
other slash in the path, even as a prefix. So `!.git` is the correct
incantation for ignoring a `.git` directory that occurs anywhere
in the path.
| -rw-r--r-- | doc/rg.1.txt.tpl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/rg.1.txt.tpl b/doc/rg.1.txt.tpl index 4357ceb9..3ce0881d 100644 --- a/doc/rg.1.txt.tpl +++ b/doc/rg.1.txt.tpl @@ -143,16 +143,16 @@ would behave identically to the following command same with using globs - --glob=!git/* + --glob=!.git or --glob - !git/* + !.git would behave identically to the following command - rg --glob '!git/*' foo + rg --glob '!.git' foo ripgrep also provides a flag, *--no-config*, that when present will suppress any and all support for configuration. This includes any future support |