diff options
-rw-r--r-- | doc/user_guide/ide-integration.rst | 2 | ||||
-rw-r--r-- | tox.ini | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/user_guide/ide-integration.rst b/doc/user_guide/ide-integration.rst index 82a26f939..71af09697 100644 --- a/doc/user_guide/ide-integration.rst +++ b/doc/user_guide/ide-integration.rst @@ -225,7 +225,7 @@ Command-line arguments and configuration files See `Pylint command line arguments`_ for general switches. Command line arguments can be used to load Pylint plugins, such as that for Django: -.. code:: json +:: "python.linting.pylintArgs": ["--load-plugins", "pylint_django"] @@ -93,7 +93,7 @@ usedevelop = True changedir = doc/ whitelist_externals = rm deps = - sphinx + sphinx==2.0 python-docs-theme commands = |