diff options
author | Andrew Gallant <jamslam@gmail.com> | 2018-09-04 21:39:05 -0400 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2018-09-04 23:18:55 -0400 |
commit | b6e30124e07fb3b3530bae2c0cf19e0893aa9831 (patch) | |
tree | f72ae866353a1817bbc4c78f374d599df87fe519 /complete | |
parent | 4846d63539690047fa58ec582d94bcba16da1c09 (diff) |
ripgrep: add --line-buffered and --block-buffered
These flags provide granular control over ripgrep's buffering strategy.
The --line-buffered flag can be genuinely useful in certain types of shell
pipelines. The --block-buffered flag has a murkier use case, but we add it
for completeness.
Diffstat (limited to 'complete')
-rw-r--r-- | complete/_rg | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/complete/_rg b/complete/_rg index e35b60df..2bbdf992 100644 --- a/complete/_rg +++ b/complete/_rg @@ -44,6 +44,12 @@ _rg() { '(: * -)'{-h,--help}'[display help information]' '(: * -)'{-V,--version}'[display version information]' + + '(buffered)' # buffering options + '--line-buffered[force line buffering]' + $no"--no-line-buffered[don't force line buffering]" + '--block-buffered[force block buffering]' + $no"--no-block-buffered[don't force block buffering]" + + '(case)' # Case-sensitivity options {-i,--ignore-case}'[search case-insensitively]' {-s,--case-sensitive}'[search case-sensitively]' |