Exlude files and directories by glob

[casaper]

Is your feature request related to a problem? Please describe.

Currently, I see no way to disable the linter for only part of a project.
I could only help myself by disabling the extension for the whole workspace so far.

Describe the solution you'd like

A global and workspace settings option that allows to add an array of file/path globs, that are not to be linted by this extension.

Did I just not find it?

Of course, I'm glad you told me, in case that is actually possible already, and I just have not seen it.

[davidlday]

Thank you for the suggestion! Not sure how soon I'll be able to work on it, but I'm open to PRs.

[casaper]

@davidlday OK, I consider doing a PR sometime. Currently, I have no time to do it as well.

Presumably I will need to see how to do it actually, since I've never coded any VSCode extension yet.

Happy to learn a bit of theat though.