mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2024-12-12 19:18:24 +02:00
a28e664abd
This seems like an obvious optimization but becomes critical when filesystem operations even as simple as stat can result in significant overheads; an example of this was a bespoke filesystem layer in Windows that hosted files remotely and would download them on-demand when particular filesystem operations occurred. Users of this system who ensured correct file-type fileters were being used could still get unnecessary file access resulting in large downloads. Fixes #1657, Closes #1660 |
||
---|---|---|
.. | ||
default_types.rs | ||
dir.rs | ||
gitignore.rs | ||
lib.rs | ||
overrides.rs | ||
pathutil.rs | ||
types.rs | ||
walk.rs |