How to use with a remote virtual environment (vagrant)?
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 28/100
Direzione di ricerca
Inizia con il flusso Configure Plugin del terminale MyPy e riproduci l’errore /bin/bash: dmypy: command not found utilizzando l’interprete remoto Vagrant e il percorso del binario configurato. Determina se i percorsi degli interpreti remoti sono supportati; il lavoro è completo quando il plugin riesce a eseguire dmypy in quell’ambiente oppure documenta chiaramente la limitazione e la configurazione prevista.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
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?
- Lingua principale
- Java
- Stelle
- 319
- Fork
- 16
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di dropbox/mypy-PyCharm-plugin
-
Very slow on large projectsAperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
dropbox/mypy-PyCharm-plugin#56 · 2 commenti ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
dropbox/mypy-PyCharm-plugin#55 · 1 commento ·
-
enhancement help wanted
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
dropbox/mypy-PyCharm-plugin#53 · 3 commenti ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
dropbox/mypy-PyCharm-plugin#52 · 1 commento · 5 reazioni ·
Tutte le issue di dropbox/mypy-PyCharm-plugin
Issue simili
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 68/100
quarkusio/quarkus-agent-mcp#296 ·
I maintainer di solito rispondono entro 1 giorno
-
enhancement web-ui
Difficoltà 2/5 1-3 ore Idoneità per principianti 67/100
jenkinsci/jenkins#27583 · 2 commenti ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
apache/rocketmq-dashboard#7302 ·
I maintainer di solito rispondono entro 3 giorni
-
area: android good first issue help wanted testing
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
Gautam-aman/ResQNet#56 ·
I maintainer di solito rispondono entro 1 giorno