Skip to content

Cannot run Program under Windows #10

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
stschroe opened this issue May 31, 2018 · 5 comments · Fixed by #39
Closed

Cannot run Program under Windows #10

stschroe opened this issue May 31, 2018 · 5 comments · Fixed by #39
Labels
enhancement New feature or request priority-high

Comments

@stschroe
Copy link

A Plugin Exeption was raised after hitting the Run button:
Cannot run program "/bin/bash" (in directory "...my project directory..."): \dev\null (The system cannot find the specified path.)

My System:
Windows 7
PyCharm Professional 2018.1
Python 3.6 (Anaconda)

@ilevkivskyi
Copy link
Contributor

Unfortunately, this is a known limitation. Also mypy daemon itself doesn't work on Windows yet. Windows support is definitely planned, but it is hard to give any estimates.

@ilevkivskyi ilevkivskyi added the enhancement New feature or request label May 31, 2018
@Cito
Copy link

Cito commented May 31, 2018

Would be nice if this could be solved. One problem is that MypyRunner.java has hardcoded /bin/bash and /dev/null paths which do not exist under Windows. The mypy daemon issue is here: python/mypy#5019

@Ricyteach
Copy link

another pycharm on windows user looking forward to this enhancement.

@chandimsett
Copy link

Please add Windows support as we are looking forward for static-typing checking in Pycharm IDE in Windows OS.

@ilevkivskyi
Copy link
Contributor

The was some progress with supporting Windows in mypy daemon, as soon as the mypy PR will land I will update paths here to be platform specific.

ilevkivskyi added a commit that referenced this issue Nov 6, 2019
Fixes #10

The fix is a bit ad-hoc, but I didn't find anything nicer. On the other hand, it turns out to be really simple.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request priority-high
Projects
None yet
Development

Successfully merging a pull request may close this issue.

5 participants