mirror of
https://github.com/tldr-pages/tldr.git
synced 2025-08-04 23:35:52 +02:00
dmypy: add page (#17292)
Co-authored-by: Dylan <145150333+dmmqz@users.noreply.github.com>
This commit is contained in:
parent
7e281252f3
commit
980ecfc801
1 changed files with 21 additions and 0 deletions
21
pages/common/dmypy.md
Normal file
21
pages/common/dmypy.md
Normal file
|
@ -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: <https://mypy.readthedocs.io/en/stable/mypy_daemon.html>.
|
||||
|
||||
- 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`
|
Loading…
Add table
Reference in a new issue