Zulip Chat Archive

Stream: new members

Topic: linter

Wouter Smeenk (Jul 15 2023 at 18:05):

Is there some documentation on how to use linters in a project? I could not find any.

Bolton Bailey (Jul 15 2023 at 19:16):

One way you can lint a file is to put #lint near the top of the file. VSCode will then give you linting output for the file.

Wouter Smeenk (Jul 15 2023 at 19:17):

Oke. Any way to configure the linter or look at the rules?

Bolton Bailey (Jul 15 2023 at 19:24):

You might be interested in the Std.Tactic.Lint.Frontend file

Wouter Smeenk (Jul 15 2023 at 19:28):

Thanks

Last updated: Dec 20 2023 at 11:08 UTC