diff options
| -rw-r--r-- | CONTRIBUTORS.txt | 4 | ||||
| -rw-r--r-- | doc/user_guide/run.rst | 2 |
2 files changed, 4 insertions, 2 deletions
diff --git a/CONTRIBUTORS.txt b/CONTRIBUTORS.txt index 5938788f3..4b51cb2ff 100644 --- a/CONTRIBUTORS.txt +++ b/CONTRIBUTORS.txt @@ -1,4 +1,4 @@ -Contributors +Contributors ------------ Current team: @@ -580,3 +580,5 @@ contributors: * Antonio Quarta (sgheppy): contributor * Harshil (harshil21): contributor + +* Felix von Drigalski (felixvd): contributor diff --git a/doc/user_guide/run.rst b/doc/user_guide/run.rst index 0e5cce4be..a4a13d580 100644 --- a/doc/user_guide/run.rst +++ b/doc/user_guide/run.rst @@ -42,7 +42,7 @@ thanks to the ``Run()`` function in the ``pylint.lint`` module .. sourcecode:: python import pylint.lint - pylint_opts = ['--version'] + pylint_opts = ['--disable=line-too-long', 'myfile.py'] pylint.lint.Run(pylint_opts) To silently run Pylint on a ``module_name.py`` module, |