1
0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2025-04-24 17:12:16 +02:00
Andrew Gallant 241bc8f8fc 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.
2018-09-04 23:18:55 -04:00
..
2018-09-04 23:18:55 -04:00
2018-09-04 23:18:55 -04:00
2018-08-20 07:10:19 -04:00
2018-08-20 07:10:19 -04:00
2018-09-04 23:18:55 -04:00
2018-08-20 07:10:19 -04:00
2018-08-20 07:10:19 -04:00
2018-09-04 23:18:55 -04:00