Add an --exclude-files option that skips parsing for specific filenames, regardless of extension. This addresses a real problem: certain files can cause the parser to hang or fail, with no current way to skip them by name (only by extension, via --exclude-extensions).
This feature was originally proposed in #49 by @gokupwn, with a working proof of concept and reproduction steps against both remote and local modes. That PR could not be merged directly because it was written against an earlier version of parser.py and spider.py, which have since been restructured.
Worth designing alongside the Windows-noise filtering work in #91, since both address unwanted files disrupting a parse run.
Add an
--exclude-filesoption that skips parsing for specific filenames, regardless of extension. This addresses a real problem: certain files can cause the parser to hang or fail, with no current way to skip them by name (only by extension, via--exclude-extensions).This feature was originally proposed in #49 by @gokupwn, with a working proof of concept and reproduction steps against both remote and local modes. That PR could not be merged directly because it was written against an earlier version of
parser.pyandspider.py, which have since been restructured.Worth designing alongside the Windows-noise filtering work in #91, since both address unwanted files disrupting a parse run.