From 980ecfc801534f3a5ef628c528172c25865f8753 Mon Sep 17 00:00:00 2001 From: koalp <49921473+koalp@users.noreply.github.com> Date: Wed, 23 Jul 2025 18:24:26 +0200 Subject: [PATCH] dmypy: add page (#17292) Co-authored-by: Dylan <145150333+dmmqz@users.noreply.github.com> --- pages/common/dmypy.md | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 pages/common/dmypy.md 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`