diff options
author | Bartek IwaĆczuk <biwanczuk@gmail.com> | 2020-09-15 10:02:19 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-15 10:02:19 +0200 |
commit | 44343a8aee2c1194992f55624b45e69c458b177d (patch) | |
tree | cf650b25eccc8342a464090162dcbf083698ddb5 | |
parent | f5c84920c225579af9c249bdac4a59a046ef8683 (diff) |
docs(lint): ignore diagnostic in whole file (#7489)
-rw-r--r-- | docs/tools/linter.md | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/tools/linter.md b/docs/tools/linter.md index 62174a600..b5646d71d 100644 --- a/docs/tools/linter.md +++ b/docs/tools/linter.md @@ -119,6 +119,16 @@ function foo(): any { } ``` +You can also ignore certain diagnostics in the whole file + +```ts +// deno-lint-ignore-file no-explicit-any no-empty + +function foo(): any { + // ... +} +``` + #### Diagnostics To ignore certain diagnostic `// deno-lint-ignore <codes...>` directive should |