diff options
author | Andrew Gallant <jamslam@gmail.com> | 2019-01-26 13:40:12 -0500 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2019-01-26 13:40:12 -0500 |
commit | 12a6ca45f9dad30864715dfecd917bb571b687d4 (patch) | |
tree | ac775c168f155502c0f79769163d5582d579812b /complete | |
parent | 9d703110cfe01782d2d0b03a340f5983da215e68 (diff) |
config: add --no-ignore-dot flag
This flag causes ripgrep to ignore `.ignore` files.
Closes #1138
Diffstat (limited to 'complete')
-rw-r--r-- | complete/_rg | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/complete/_rg b/complete/_rg index f48c0998..2e5c1937 100644 --- a/complete/_rg +++ b/complete/_rg @@ -112,8 +112,8 @@ _rg() { $no"--no-hidden[don't search hidden files and directories]" + '(ignore)' # Ignore-file options - "(--no-ignore-global --no-ignore-parent --no-ignore-vcs)--no-ignore[don't respect ignore files]" - $no'(--ignore-global --ignore-parent --ignore-vcs)--ignore[respect ignore files]' + "(--no-ignore-global --no-ignore-parent --no-ignore-vcs --no-ignore-dot)--no-ignore[don't respect ignore files]" + $no'(--ignore-global --ignore-parent --ignore-vcs --ignore-dot)--ignore[respect ignore files]' + '(ignore-file-case-insensitive)' # Ignore-file case sensitivity options '--ignore-file-case-insensitive[process ignore files case insensitively]' @@ -131,6 +131,10 @@ _rg() { "--no-ignore-vcs[don't respect version control ignore files]" $no'--ignore-vcs[respect version control ignore files]' + + '(ignore-dot)' # .ignore-file options + "--no-ignore-dot[don't respect .ignore files]" + $no'--ignore-dot[respect .ignore files]' + + '(json)' # JSON options '--json[output results in JSON Lines format]' $no"--no-json[don't output results in JSON Lines format]" |