diff options
| author | Eduardo M KALINOWSKI | 2019-02-16 18:55:54 -0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2019-03-26 20:56:37 +0100 |
| commit | 3bc100aeb3f0763f78c8b3a70165b9f8aaa52db5 (patch) | |
| tree | 19b1576b0ee8e74612c29b0ff4cec4f3cecf2b29 /profiling/streaming-read.bash | |
| parent | 73f9e2374dab47374dc479911a9be5cfebf89378 (diff) | |
reverse mode: support wildcard exclude (--exclude-wildcard)
This adds support for gitignore-like wildcards and exclude patters in
reverse mode. It (somewhat) fixes #273: no regexp support, but the
syntax should be powerful enough to satisfy most needs.
Also, since adding a lot of --exclude options can be tedious, it adds
the --exclude-from option to read patterns from a file (or files).
Diffstat (limited to 'profiling/streaming-read.bash')
0 files changed, 0 insertions, 0 deletions