diff --git a/pages/common/dmypy.md b/pages/common/dmypy.md new file mode 100644 index 0000000000..717a78e543 --- /dev/null +++ b/pages/common/dmypy.md @@ -0,0 +1,21 @@ +# dmypy + +> Type check Python code, running `mypy` as a daemon for better speed. +> See also: `mypy` for more options to use with check and run. +> More information: . + +- Type check a file, and start the daemon if it is not running: + +`dmypy check -- {{path/to/file.py}}` + +- Start the daemon: + +`dmypy start` + +- Type check a file (requires the daemon to be running): + +`dmypy run -- {{path/to/file.py}}` + +- Stop the daemon: + +`dmypy stop`