VS Code linter options?

Tooling VS Code
1

According to the Linter · Julia in VS Code documentation

You can … configure it via various options with the julia.lint. prefix.

However if I select it (View → Command Palette → insert julia.lint. ) I do not see any options. Does that mean that currently the set of implemented linter options is empty, or do I oversee something?

2

Try View > Command Palette then type Preference UI and select that option. There you’ll be able to search for the julia linting options and see what is available.

3

Thank you! Entering “julia lint” then indeed listed 13 options.