diff options
| author | Andrew Gallant <jamslam@gmail.com> | 2018-09-04 22:45:24 -0400 |
|---|---|---|
| committer | Andrew Gallant <jamslam@gmail.com> | 2018-09-04 23:18:55 -0400 |
| commit | 241bc8f8fcfdc725afa65ee539c37960b10550b1 (patch) | |
| tree | d5ae44155e4d3c91f6a70c5a23f2d2d29d99d668 /grep-cli | |
| parent | b6e30124e07fb3b3530bae2c0cf19e0893aa9831 (diff) | |
ripgrep: add --pre-glob flag
The --pre-glob flag is like the --glob flag, except it applies to filtering
files through the preprocessor instead of for search. This makes it
possible to apply the preprocessor to only a small subset of files, which
can greatly reduce the process overhead of using a preprocessor when
searching large directories.
Diffstat (limited to 'grep-cli')
0 files changed, 0 insertions, 0 deletions