LanguageServer.jl icon indicating copy to clipboard operation
LanguageServer.jl copied to clipboard

Add ignoredGlobs option to linter

Open evetion opened this issue 1 year ago • 0 comments

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.

evetion avatar May 27 '24 11:05 evetion