eslint-plugin-idris-plugin-path-checker v0.0.8

eslint-plugin-idris-plugin-path-checker

Plugin for check files' paths - Abosulete or Relative

Installation

You'll first need to install ESLint:

npm i eslint --save-dev

Next, install eslint-plugin-idris-plugin-path-checker:

npm install eslint-plugin-idris-plugin-path-checker --save-dev

Usage

Add idris-plugin-path-checker to the plugins section of your .eslintrc configuration file. You can omit the eslint-plugin- prefix:

{
    "plugins": [
        "idris-plugin-path-checker"
    ]
}

Then configure the rules you want to use under the rules section.

{
    "rules": {
        "idris-plugin-path-checker/rule-name": 2
    }
}

Rules

TODO: Run eslint-doc-generator to generate the rules list.