Handling In-Box vs Installed libraries in Tools Extensions

Proposed Setting

"pylint.importType": {
    "default": "bundled",
    "description": "Defines where `pylint` is imported from. This setting will be ignored if `pylint.path` is set.",
    "enum": [
        "bundled",
        "environment"
    ],
    "enumDescriptions": [
        "Always use the bundled version of `pylint`.",
        "Always used `pylint` from environment, fall back to bundled version when not available.",
    ],
    "scope": "<see scope proposal>",
    "type": "string"
},

Scope of the setting

Recommend scope is "window". User should be able to configure this just like python.languageServer.

Client-side changes

While creating the server launch command, client will add --import-type bundled to the server.py script.

Server-side changes

In the server, parse the arguments, handle as follows:

• bundled: then insert bundled path at 0.
• environment: then append bundled path to the end.