Use mypy within docker

Step 1: Are you in the right place?

• I have verified there are no duplicate active or recent bugs, questions, or requests
• [] I have verified that I am using the latest version of the plugin.

Step 2: Describe your environment

• Plugin version: ?
• PyCharm/IDEA version: PyCharm 2018.3.5 (Professional Edition) Build #PY-183.5912.18, built on February 26, 2019 JRE: 1.8.0_152-release-1343-b28 amd64 JVM: OpenJDK 64-Bit Server VM by JetBrains s.r.o Windows 10 10.0
• Mypy version: ?

Step 3: Describe the problem:

Steps to reproduce:

1. When using project interpreter in docker compose, it is impossible to specify mypy executable path, and I am constantly getting popups saying that mypy is missing. I have set up it to use my host system mypy, and even installed it in the docker interpreter, but the pop ups continue.

Expected Results:

it should be possible to use mypy within docker.

10:55	Packages installed successfully: Installed packages: 'mypy'

10:58	Mypy Plugin (Mypy missing)
			The project interpreter is missing Mypy, which is needed to properly check the imports.
			Install Mypy

[rommguy]

@leinardi Thank you very much for this plugin, it is super helpful Perhaps it is possible to add interpreter settings to the plugin settings? This would solve the problem of running in a docker, since I want PyCharm to use the remote interpreter but the plugin to use the local interpreter I’d be happy to submit a PR if you can give me some guidance

[hmoravec]

I also agree this is an important feature as a typical user of Mypy is a professional developer who also uses Docker/Vagrant for development environment. It would be nice if it would be at least possible to use Mypy executable from environment that is different than the project environment.

There is also the same problem for the Pylint plugin: https://github.com/leinardi/pylint-pycharm/issues/36