Allow extra-path folders. My use case is basically to provide a docker image with a default set of custom rules, but I would like to allow my users to implement their own custom rules in their projects (so they would provide an additional folder to --extra-path and append the rules to contrib.
jorisroovers
commented
1 year ago
Allow extra-path folders. My use case is basically to provide a docker image with a default set of custom rules, but I would like to allow my users to implement their own custom rules in their projects (so they would provide an additional folder to
--extra-pathand append the rules tocontrib.