diff --git a/pylint_plugins.py b/pylint_plugins.py index 6e7526f8e..503121c4f 100644 --- a/pylint_plugins.py +++ b/pylint_plugins.py @@ -499,6 +499,7 @@ AstroidBuilder(MANAGER).string_build(textwrap.dedent( api.env.force_schema_check = False api.env.home = '' # object api.env.host = '' + api.env.host_princ = '' api.env.http_timeout = 0 api.env.in_server = False # object api.env.in_tree = False # object @@ -524,6 +525,7 @@ AstroidBuilder(MANAGER).string_build(textwrap.dedent( api.env.script = '' # object api.env.site_packages = '' # object api.env.skip_version_check = False + api.env.smb_princ = '' api.env.startup_timeout = 0 api.env.startup_traceback = False api.env.tls_ca_cert = '' # object