dropbox / mypy-PyCharm-plugin

A simple plugin that allows running mypy from PyCharm and navigate between errors
Apache License 2.0
314 stars 14 forks source link

How to use with a remote virtual environment (vagrant)? #48

Open codekiln opened 4 years ago

codekiln commented 4 years ago

PyCharm has the ability to set up a remote interpreter in Vagrant. I have this configured for my main project, but am getting "/bin/bash: dmypy: command not found" when I try to run MyPy.

I have tried right clicking the MyPy terminal and selecting Configure Plugin, and adding the full path to the mypy binary inside of vagrant instance. This results in command not found as explained above.

Does this plugin currently do any introspection into the project to see if the project's interpreter resides on another filesystem?

ilevkivskyi commented 4 years ago

Remote virtual environments are unfortunately not yet supported (and may be non-trivial to add). Thanks for request anyway, we may add this at some point (also PRs welcome).

ilevkivskyi commented 4 years ago

It looks like a similar problem also exists with docker, see https://github.com/dropbox/mypy-PyCharm-plugin/issues/54