VS Code linter options?

Eben60
Fri, 30 Dec 2022 19:56:56 +0000
VS Code

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?

3 posts - 2 participants