Undocument --kill

This commit is contained in:
Félix Saparelli 2021-04-11 01:06:32 +12:00
parent 988acaed65
commit 0c6b1bf2e4
No known key found for this signature in database
GPG Key ID: B948C4BAE44FC474
2 changed files with 1 additions and 2 deletions

View File

@ -11,7 +11,6 @@ cmd="$words[1]"
args=(
'(-c --clear)'{-c,--clear}'[Clear screen before executing command]'
'(-h --help)'{-h,--help}'[Prints help information]'
'(-k --kill)'{-k,--kill}'[Send SIGKILL to child processes (deprecated, use -s SIGKILL instead)]'
'(-n --no-shell)'{-n,--no-shell}'[Do not wrap command in ''sh -c'' resp. ''cmd.exe /C'']'
'--no-environment[Do not set WATCHEXEC_*_PATH environment variables for child process]'
'--no-meta[Ignore metadata changes]'

View File

@ -41,7 +41,7 @@ Ignores modifications from paths that match <pattern>. This option can be specif
Monitor 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`.
Terminates the child process group if it is still running when subsequent file modifications are detected. By default, sends `SIGTERM`; use `--signal` to change that.
* `-c`, `--clear`:
Clears the screen before executing <command>.