Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Add ignoredGlobs option to linter #1291

Open
wants to merge 3 commits into
base: master
Choose a base branch
from

Conversation

evetion
Copy link

@evetion evetion commented May 27, 2024

Fixes julia-vscode/julia-vscode#3495
Fixes julia-vscode/julia-vscode#1711
Fixes julia-vscode/julia-vscode#797

Adds the julia.lint.ignoredGlobs option, which takes a list of regex expression. Matching paths will completely ignored by the linter. The default is set to ["\\..*"], which will ignore all hidden (starting with a ., like .git) folders.

I have moved the request_julia_config earlier, so the user configuration (and not the server defaults) are used in load_folder.

For every PR, please check the following:

@evetion evetion changed the title Add ignoredDirs option to linter Add ignoredGlobs option to linter May 27, 2024
@evetion evetion marked this pull request as ready for review May 27, 2024 13:43
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
1 participant