diff options
author | Andrew Gallant <jamslam@gmail.com> | 2017-08-23 19:13:52 -0400 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2017-08-23 19:13:52 -0400 |
commit | 01358a155c284b839c09b4d7e96559d543eea904 (patch) | |
tree | ffb0f3663ef9e0ea627c263411cf8c978220edc3 /doc | |
parent | 30ca3ecca65d06ebc1d0794f3968397709aff9a8 (diff) |
man: synchronize man page with --help
Diffstat (limited to 'doc')
-rw-r--r-- | doc/rg.1.md | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/doc/rg.1.md b/doc/rg.1.md index e18f2770..90e1dac7 100644 --- a/doc/rg.1.md +++ b/doc/rg.1.md @@ -37,7 +37,9 @@ Project home page: https://github.com/BurntSushi/ripgrep --color *WHEN* : Whether to use color in the output. Valid values are never, auto, always or - ansi. [default: auto] + ansi. The default is auto. When always is used, coloring is attempted based + on your environment. When ansi is used, coloring is forcefully done using + ANSI escape color codes. -e, --regexp *PATTERN* ... : Use PATTERN to search. This option can be provided multiple times, where all @@ -196,6 +198,13 @@ Project home page: https://github.com/BurntSushi/ripgrep : Search hidden directories and files. (Hidden directories and files are skipped by default.) +--iglob *GLOB* ... +: Include or exclude files/directories case insensitively. This always + overrides any other ignore logic if there is a conflict, but is otherwise + applied in addition to ignore files (e.g., .gitignore or .ignore). Multiple + glob flags may be used. Globbing rules match .gitignore globs. Precede a + glob with a '!' to exclude it. + --ignore-file *FILE* ... : Specify additional ignore files for filtering file paths. Ignore files should be in the gitignore format and are matched |