diff options
| author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2020-06-12 15:31:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-12 15:31:04 +0200 |
| commit | c073f552d9ed18acab02080871c2b70b4951156e (patch) | |
| tree | a0462714dda4727e54872701b811ab632d6d0100 /cli | |
| parent | 81d09ad01c92a9547cdb388044b3b3ce8b077aca (diff) | |
docs(lint): add entry in manual (#6258)
Diffstat (limited to 'cli')
| -rw-r--r-- | cli/flags.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/cli/flags.rs b/cli/flags.rs index acfe2f3e9..bd7ea462f 100644 --- a/cli/flags.rs +++ b/cli/flags.rs @@ -919,6 +919,11 @@ rule name: // deno-lint-ignore require-await no-empty +Names of rules to ignore must be specified after ignore comment. + +ESLint ignore comments are also supported: + // eslint-ignore-next-line @typescrit-eslint/no-explicit-any no-empty + Ignore linting a file by adding an ignore comment at the top of the file: // deno-lint-ignore-file ", |