python.envFile setting looks to be ignored

[rganczarek]

Hello, I'm having a problem coniguring mypy plugin to work with my project.

I'm having this error in the mypy shell:

  File "/path/to/project/src/myproject/config.py", line 123, in <module>
    API_ID = int(os.getenv('API_ID'))
TypeError: int() argument must be a string, a bytes-like object or a real number, not 'NoneType'

This is because I have a project with settings configured by env variables.

My directory settings:

{
  "python.envFile": "${workspaceFolder}/.env.test",
  "mypy-type-checker.args": [
    "--config-file=${workspaceFolder}/src/pyproject.toml"
  ],
  "mypy-type-checker.interpreter": [
    "/home/rganczarek/.virtualenvs/myproject/bin/python"
  ]
}

where .env.test contains:

API_ID=0

Tried switching to "mypy-type-checker.path", but it didn't help.

Temporary workaround:

Create file venvrun.sh:

#!/usr/bin/env bash

source ~/.virtualenvs/$1/bin/activate
set -a
. /path/to/project/.env.test
set +a
$2 ${@:3}

and in settings.json do:

"mypy-type-checker.path": [
    "/path/to/venvrun/venvrun.sh",
    "myproject_venv",
    "mypy"
  ],

[karthiknadig]

We need to use pythonExtension.environments.getEnvironmentVariables API to get the full set of environment variables and send the diff to the server, per-workspace.

[mayrholu]

Any updates?