start[--log-fileFILE][--timeoutTIMEOUT]ARGS...
Start a mypy daemon.
Runs a new mypy daemon, passing regular mypy flags to it. If --log-file is used, directs daemon
stdout/stderr to FILE. --timeout specifies the server shutdown timeout in seconds.
stop
Stop a mypy daemon.
Politely asks the currently running mypy daemon to go away.
kill
Kill a mypy daemon.
Kills the process of the currently running mypy daemon.
restart[--log-fileFILE][--timeoutTIMEOUT]ARGS...
Restart a mypy daemon.
Stops the existing and then runs a new mypy daemon, passing regular mypy flags to it. If --log-file is
used, directs daemon stdout/stderr to FILE. --timeout specifies the server shutdown timeout in seconds.
status[-v]
Show a mypy daemon status.
If -v or --verbose is used, prints detailed status.
daemon[--timeoutTIMEOUT]ARGS...
Run a mypy daemon in the foreground, passing regular mypy flags to it.
--timeout specifies the server shutdown timeout in seconds.
check[-v][--junit-xmlJUNIT_XML][--perf-stats-filePERF_STATS_FILE]FILE[FILE...]
Check some files.
Tell the currently running mypy daemon to check some files. This requires the daemon to already be
running.
-v, --verbose
Print detailed status
--junit-xmlJUNIT_XML
Write junit.xml to the given file
--perf-stats-filePERF_STATS_FILE
Write telemetry information to the given file
recheck[-v][--junit-xmlJUNIT_XML][--perf-stats-filePERF_STATS_FILE][--updateFILE[FILE...]][--removeFILE[FILE...]]
Re-check the previous list of files, with optional modifications. This requires the daemon to already be
running.
-v, --verbose
Print detailed status
--junit-xmlJUNIT_XML
Write junit.xml to the given file
--perf-stats-filePERF_STATS_FILE
Write telemetry information to the given file
run[-v][--junit-xmlJUNIT_XML][--perf-stats-filePERF_STATS_FILE][--timeoutTIMEOUT][--log-fileFILE]ARGS...
Check some files, (re)starting the daemon if necessary.
-v, --verbose
Print detailed status
--junit-xmlJUNIT_XML
Write junit.xml to the given file
--perf-stats-filePERF_STATS_FILE
Write telemetry information to the given file
--timeoutTIMEOUT
Server shutdown timeout (in seconds)
--log-fileFILE
Direct daemon stdout/stderr to FILEhang
Hang for 100 seconds.