catkin_lint icon indicating copy to clipboard operation
catkin_lint copied to clipboard

Option to ignore/disable directories

Open MatthijsBurgh opened this issue 2 years ago • 2 comments

Is there an option or would it be possible to add an option to ignore/disable directories?

As I have multiple packages which include an 3rdparty library. Often these libraries include executable files, which aren't installed. I don't want to disable that issue, as I want it to be checked for my package, just not for the 3rdparty library.

An option to ignore directories(and maybe individual files) would be very useful for this.

I would be open to do most of the work for such a feature, if you could point me where to go.

MatthijsBurgh avatar Oct 03 '22 07:10 MatthijsBurgh

I've added some logic to skip this check for sub projects (which are skipped during linting anyway). If that is not sufficient, a very simple solution is to add a CATKIN_IGNORE marker file to the third-party subdirectories.

roehling avatar Oct 03 '22 18:10 roehling

Thanks. I already figured out that a CATKIN_IGNORE would do the job. Maybe this could be documented.

MatthijsBurgh avatar Oct 04 '22 10:10 MatthijsBurgh