You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Probably makes sense to have these off by default, and options to turn them on since they're probably very opinionated (I should probably look at what the difference between Hints and Lints are, I haven't really seen any yet).
I did some testing; I think the defaults are fine and I'm not sure we need anything here.
Hints are on by default, come through as INFO in the problems view. Lints are on by default, but require individually enabling in analysis_options. I think this behaviour is fine (I raised this case thinking we didn't get hints by default).
Activity
DanTup commentedon Aug 9, 2016
And a nice way to disable (and re-enable!) them individually.
DanTup commentedon Aug 11, 2016
Probably makes sense to have these off by default, and options to turn them on since they're probably very opinionated (I should probably look at what the difference between Hints and Lints are, I haven't really seen any yet).
DanTup commentedon Aug 20, 2016
There are options for linting in
analysis_options.yaml(see #114) so it's possible these will appear automatically; needs some testing.[-]Add option to enable hints/lints[/-][+]Add option to enable hints[/+]DanTup commentedon Aug 22, 2016
Lints automatically just work; just add them to
analysis_options.yamland they will start appearing automatically.DanTup commentedon Aug 24, 2016
I did some testing; I think the defaults are fine and I'm not sure we need anything here.
Hints are on by default, come through as INFO in the problems view. Lints are on by default, but require individually enabling in
analysis_options. I think this behaviour is fine (I raised this case thinking we didn't get hints by default).