Closed trusktr closed 5 years ago
Doesn't seem to make a difference what indent I use, I still get the same message. For example, the same message for the following two samples (and same for the above sample):
<script>
if (true) console.log('hello')
const
$ = require("jquery"),
_ = require("lodash")
require("./").start()
</script>
<script>
if (true) console.log('hello')
const
$ = require("jquery"),
_ = require("lodash")
require("./").start()
</script>
Regardless of the issues with those rules, just enabling the html
plugin enables all my other linting rules in the script tags, so I'm enjoying that! :)
Thanks for the detailed report. Even if html/report-bad-indent
looks like a rule name, this plugin does not define any rules: you should move your 'html/...'
entries in "settings", like so:
{
"plugins": [ "html" ],
"rules": { ... },
"settings": {
"html/indent": "0",
"html/report-bad-indent": "error"
}
}
Oooooh. What's the difference? Why are they in "settings"?
Description
Setup configuration
Aditional context
output:
BrowserEntry.html:
No matter what I try (f.e. that ugly code format in the script tag, and the options
0
,+2
, ortab
), I don't see any output regarding theindent
option. Should I see something?Also notice the message
Definition for rule 'html/report-bad-indent' was not found html/report-bad-indent
. Is that related?