diff options
| author | Peter Kolbus <peter.kolbus@gmail.com> | 2020-11-29 07:57:39 -0600 |
|---|---|---|
| committer | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2021-03-09 09:13:05 +0100 |
| commit | d19c7733717ae9ad0a527233c2950473dce3ffcf (patch) | |
| tree | 4215a2523554d2230ce1276da867e27d45a2308c /doc/user_guide | |
| parent | 0f1245c2959f16dd68a2f7cf191c3cee0fcc08c2 (diff) | |
| download | pylint-git-d19c7733717ae9ad0a527233c2950473dce3ffcf.tar.gz | |
Reduce 'blacklist' term for ignored files
Replace usage of the term 'blacklist' in the context of ignored files
and directories (--ignore and --ignore-patterns), except in cases where
backward compatibility is needed. In documentation and help, supplement
'ignore' with 'skip'; in code use the term 'ignore list'.
Diffstat (limited to 'doc/user_guide')
| -rw-r--r-- | doc/user_guide/run.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/user_guide/run.rst b/doc/user_guide/run.rst index d8268c36d..971ae801d 100644 --- a/doc/user_guide/run.rst +++ b/doc/user_guide/run.rst @@ -118,8 +118,8 @@ configuration. Other useful global options include: ---ignore=<file[,file...]> Add files or directories to the blacklist. They - should be base names, not paths. +--ignore=<file[,file...]> Files or directories to be skipped. They should be + base names, not paths. --output-format=<format> Select output format (text, json, custom). --msg-template=<template> Modify text output message template. --list-msgs Generate pylint's messages. |