LanguageServer.jl
LanguageServer.jl copied to clipboard
Add ignoredGlobs option to linter
Fixes https://github.com/julia-vscode/julia-vscode/issues/3495 Fixes https://github.com/julia-vscode/julia-vscode/issues/1711 Fixes https://github.com/julia-vscode/julia-vscode/issues/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:
- [x] End-user documentation check. If this PR requires end-user documentation in the Julia VS Code extension docs, please add that at https://github.com/julia-vscode/docs.
- [x] Changelog mention. If this PR should be mentioned in the CHANGELOG for the Julia VS Code extension, please open a PR against https://github.com/julia-vscode/julia-vscode/blob/master/CHANGELOG.md with those changes.