That's a bummer. I guess what I though was PyO3 type hints was actually just PyCharm guessing at the types.
I tried creating a .pyi
file and it seems to be a pretty big improvement over no type hints, but I don't know how to add type hints for modules added with PyModule::add_module
and adding the .pyi
file seems to make the type checker not know about my other modules.
Would you mind sharing the script for auto generating type hints? Keeping them in sync manually would be pretty annoying.
zellij
is a terminal multiplexer liketmux
which for example allows you to have multiple terminals shown in the same window. It works both locally and over SSH. Which GUI would do the same?I'm currently using
zellij
after previously having usedtmux
. For mezellij
is a direct upgrade in every way, and the defaulttmux
keybindings are even supported out of the box inzellij
which makes transitioning incredibly easy. The only downside is that I have no idea how to pronounce the name.