Description
The docs say almost nothing about which name does the configuration file have, only here implicitly. Also, it is also not obvious that in order to customize the linting I should copy the defaults listed here, put them into a fsharplint.json file and edit them.
Coming from eslint I was expecting something like extending and overriding the defaults, like css.
Btw, thank you very much for this tool!
Description
The docs say almost nothing about which name does the configuration file have, only here implicitly. Also, it is also not obvious that in order to customize the linting I should copy the defaults listed here, put them into a
fsharplint.jsonfile and edit them.Coming from
eslintI was expecting something like extending and overriding the defaults, like css.Btw, thank you very much for this tool!