According to the FSharpLint documentation, on the command line, you can specify the config file via --lint-config.
Since the tool comes integrated into Ionide, I was expecting some means of specifying the config file in that extension's settings. However, the only setting that's documented is FSharp.Linter, which lets you turn the linter on or off.
Is there really no way to configure FSharpLint in Ionide?
