diff options
| author | Andrew Gallant <jamslam@gmail.com> | 2020-03-15 11:04:47 -0400 |
|---|---|---|
| committer | Andrew Gallant <jamslam@gmail.com> | 2020-03-15 13:19:14 -0400 |
| commit | c4c43c733ee9a44d3a48aa7f22284a6db6f0f9c6 (patch) | |
| tree | ca7d8656f03c8f1d2e32d89c23855a526c3120f4 /complete | |
| parent | 447506ebe02f1475734b66137feb02ae0fd9decf (diff) | |
cli: add --no-ignore-files flag
The purpose of this flag is to force ripgrep to ignore all --ignore-file
flags (whether they come before or after --no-ignore-files).
This flag can be overridden with --ignore-files.
Fixes #1466
Diffstat (limited to 'complete')
| -rw-r--r-- | complete/_rg | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/complete/_rg b/complete/_rg index 399647f7..a8462c81 100644 --- a/complete/_rg +++ b/complete/_rg @@ -156,10 +156,14 @@ _rg() { "--no-require-git[don't require git repository to respect gitignore rules]" $no'--require-git[require git repository to respect gitignore rules]' - + '(ignore-dot)' # .ignore-file options + + '(ignore-dot)' # .ignore options "--no-ignore-dot[don't respect .ignore files]" $no'--ignore-dot[respect .ignore files]' + + '(ignore-files)' # custom global ignore file options + "--no-ignore-files[don't respect --ignore-file flags]" + $no'--ignore-files[respect --ignore-file files]' + + '(json)' # JSON options '--json[output results in JSON Lines format]' $no"--no-json[don't output results in JSON Lines format]" |