mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-05-19 09:40:22 -07:00
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.
This commit is contained in:
parent
5c4584aa7c
commit
81415ae52d
@ -143,16 +143,16 @@ would behave identically to the following command
|
|||||||
|
|
||||||
same with using globs
|
same with using globs
|
||||||
|
|
||||||
--glob=!git/*
|
--glob=!.git
|
||||||
|
|
||||||
or
|
or
|
||||||
|
|
||||||
--glob
|
--glob
|
||||||
!git/*
|
!.git
|
||||||
|
|
||||||
would behave identically to the following command
|
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
|
ripgrep also provides a flag, *--no-config*, that when present will suppress
|
||||||
any and all support for configuration. This includes any future support
|
any and all support for configuration. This includes any future support
|
||||||
|
Loading…
x
Reference in New Issue
Block a user