Closed vlasovskikh closed 4 years ago
Thanks for suggestion!
I was already thinking about this, but I first need to figure out how to avoid conflicts with our internal version of this plugin. It is identical to public one, but is preconfigured with our internal PATHs and mypy runner scripts.
@ilevkivskyi I could recommend storing your company configuration in the settings of the projects you're working on. Either as mypy config files or as per-project settings represented via the settings UI of PyCharm that can be stored and shared in the project files inside the .idea/ folder.
Any update on this? Also, if added to jetbrains repositories, could it be added not just for pycharm, but also for other IDEs that support python through a plugin? (e.g. CLion, Intellij)
@quicknir Update: @ilevkivskyi and I have been fixing issues that prevent it to be published at the plugins repository. It's still in progress, there are a couple of bugs and organizational issues left unresolved.
Thanks, good to hear! Looking forward.
Hi! Any updates on this issue? Would love to see this plugin in the marketplace :)
There's this plugin which is available in the plugins repository: https://github.com/leinardi/mypy-pycharm
How well does it compare to this one which we can make and put from outside, anyone has any insights?
FWIW, if everything goes well we are going to publish the plugin on JetBrains repository next week.
That sounds great, thanks a lot for the update.
@revolutionisme mypy-pycharm works well, but has no solution for remote interpreter. If you only run locally it will be good enough.
Thanks @ilevkivskyi! This is an awesome plugin. Can you please keep this issue open until JetBrains approve the plugin? It is still not available
Can you please keep this issue open until JetBrains approve the plugin?
No, we close issues for which there are no action items.
A little update: the plugin was approved and is available for direct install, see https://plugins.jetbrains.com/plugin/13348-mypy-official-
It's more convenient for PyCharm / IntelliJ users to get their plugins as in-app updates via the JetBrains repository. Please consider distributing the plugin via this channel instead of a manual download + install via a file.