diff --git a/doc/watchexec.1.html b/doc/watchexec.1.html index 765f5cca..071e13de 100644 --- a/doc/watchexec.1.html +++ b/doc/watchexec.1.html @@ -88,7 +88,7 @@
Command to run when watched files are modified, and at startup, unless --postpone
is specified. All arguments are passed to command.
-e
, --exts
extensionsComma-separated list of file extensions to filter by. Leading dots are allowed (.rs) are allowed. (This is a shorthand for -f
).
-f
, --filter
patternIgnores modifications from paths that do not match pattern. This option can be specified multiple times, where a match on any given pattern causes the path to trigger command.
-s
, --signal
SIGNAL Sends the specified signal (e.g. SIGKILl
) to the child process. Defaults to SIGTERM
.
-s
, --signal
SIGNALSends the specified signal (e.g. SIGKILl
) to the child process. Defaults to SIGTERM
.
-i
, --ignore
patternIgnores modifications from paths that match pattern. This option can be specified multiple times, and a match on any pattern causes the path to be ignored.
-w
, --watch
pathMonitor a specific path for changes. By default, the current working directory is watched. This may be specified multiple times, where a change in any watched directory (and subdirectories) causes command to be executed.
-r
, --restart
Terminates the child process group if it is still running when subsequent file modifications are detected. By default, sends SIGTERM
; use --kill
to send SIGKILL
.