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/rg.1.txt.tpl | |
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/rg.1.txt.tpl')
-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 |