CmdID / Commands
Type check Python code, running mypy as a daemon for better speed. tldr-pages
On several platforms
Opens CmdID with your command. It is read in your browser and sent nowhere.
Type check a file, and start the daemon if it is not running
dmypy run -- path/to/file.py
Start the daemon
dmypy start
Type check a file (requires the daemon to be running)
dmypy check -- path/to/file.py
Stop the daemon
dmypy stop
mypy