diff options
| author | Andrew Gallant <jamslam@gmail.com> | 2020-05-08 08:21:05 -0400 |
|---|---|---|
| committer | Andrew Gallant <jamslam@gmail.com> | 2020-05-08 23:24:40 -0400 |
| commit | 17dcc2bf51810032f07f060f7a6a43e43d42bb82 (patch) | |
| tree | 00491fdde2f80c2de4ecd2231fe2c19bbf2059e6 /doc | |
| parent | 9a858e490980d886d94ce0c316a71af3369e8808 (diff) | |
doc: clarify that *files* override gitignores
This attempts to fix some mild confusion that came up as part of #1574.
Specifically:
https://github.com/BurntSushi/ripgrep/issues/1574#issuecomment-625780436
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/rg.1.txt.tpl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/rg.1.txt.tpl b/doc/rg.1.txt.tpl index 2ba38dca..c0d1bad7 100644 --- a/doc/rg.1.txt.tpl +++ b/doc/rg.1.txt.tpl @@ -75,8 +75,9 @@ _PATTERN_:: dash, use the -e/--regexp option. _PATH_:: - A file or directory to search. Directories are searched recursively. Paths - specified explicitly on the command line override glob and ignore rules. + A file or directory to search. Directories are searched recursively. File + paths specified explicitly on the command line override glob and ignore + rules. OPTIONS |