diff options
| author | Andrew Gallant <jamslam@gmail.com> | 2018-08-27 21:16:41 -0400 |
|---|---|---|
| committer | Andrew Gallant <jamslam@gmail.com> | 2018-08-27 21:18:53 -0400 |
| commit | e5bb750995b1367f424f0b6b6a5c4385b7938c2f (patch) | |
| tree | ef52aee4f798a727f75eec74f1f6930714c3c2ce /src/args.rs | |
| parent | d599f0b3c7abcce0829c053fbf9ac997844fc3d8 (diff) | |
ignore: add 'stdout' skipping to the walker
This commit adds a new 'skip_stdout' option to the directory walker. When
enabled, it will skip yielding any directory entries that are believed to
correspond to stdout for the current process. This is useful for filtering
out 'results' in a command like 'grep -r foo > results' in order to avoid
an unbounded feedback mechanism.
Diffstat (limited to 'src/args.rs')
0 files changed, 0 insertions, 0 deletions