diff options
author | dana <dana@dana.is> | 2019-08-01 16:08:58 -0500 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2019-08-01 17:08:58 -0400 |
commit | c2cb0a4de4597c8f911c8ebece6aa0435ef5da6f (patch) | |
tree | 130944b7519d3a089444d0ec3695e21c12ec95f7 /complete | |
parent | adb9332f52b884c8b872d1c969a7841188fe3089 (diff) |
ripgrep: add --glob-case-insensitive
This flag forces -g/--glob patterns to be treated case-insensitively, as with
--iglob patterns.
Fixes #1293
Diffstat (limited to 'complete')
-rw-r--r-- | complete/_rg | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/complete/_rg b/complete/_rg index f7315c00..d7dcfd64 100644 --- a/complete/_rg +++ b/complete/_rg @@ -104,6 +104,10 @@ _rg() { '*'{-g+,--glob=}'[include/exclude files matching specified glob]:glob' '*--iglob=[include/exclude files matching specified case-insensitive glob]:glob' + + '(glob-case-insensitive)' # File-glob case sensitivity options + '--glob-case-insensitive[treat -g/--glob patterns case insensitively]' + $no'--no-glob-case-insensitive[treat -g/--glob patterns case sensitively]' + + '(heading)' # Heading options '(pretty-vimgrep)--heading[show matches grouped by file name]' "(pretty-vimgrep)--no-heading[don't show matches grouped by file name]" |