diff options
| author | Claudiu Popa <pcmanticore@gmail.com> | 2015-10-20 19:15:40 +0300 |
|---|---|---|
| committer | Claudiu Popa <pcmanticore@gmail.com> | 2015-10-20 19:15:40 +0300 |
| commit | f6f5d270e7cfadb3dc0a3966c2edf4e322361fac (patch) | |
| tree | a37ba3877db6ba37ac8c78d0fa48c0df17af60a7 /pylint/config.py | |
| parent | 050fc46ebc5d4ddfc50b7553f4af336172431ac5 (diff) | |
| download | pylint-f6f5d270e7cfadb3dc0a3966c2edf4e322361fac.tar.gz | |
Obsolete options are not present by default in the generated configuration file.
Closes issue #632.
Diffstat (limited to 'pylint/config.py')
| -rw-r--r-- | pylint/config.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pylint/config.py b/pylint/config.py index fb5c2da..490f932 100644 --- a/pylint/config.py +++ b/pylint/config.py @@ -554,7 +554,8 @@ class OptionsManagerMixIn(object): if section in skipsections: continue options = [(n, d, v) for (n, d, v) in options - if d.get('type') is not None] + if d.get('type') is not None + and not d.get('deprecated')] if not options: continue if section not in sections: |