diff options
| author | Corinna Vinschen <corinna@vinschen.de> | 2019-02-02 23:02:00 +0300 |
|---|---|---|
| committer | Corinna Vinschen <corinna@vinschen.de> | 2019-02-02 23:02:00 +0300 |
| commit | 658f9390032ad2f4a70fb2550480ec8ca58a530a (patch) | |
| tree | 06b12e0e109cac3f6ddfe75bacc48a896b4df4a0 /winsup/doc/utils.xml | |
| parent | 3a3934252c2cb390b3970edb4898f452ea2f641a (diff) | |
Cygwin: kill(1): introduce a -W option
Allow to kill processes using Windows PIDs on the command line.
Signed-off-by: Corinna Vinschen <corinna@vinschen.de>
Diffstat (limited to 'winsup/doc/utils.xml')
| -rw-r--r-- | winsup/doc/utils.xml | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/winsup/doc/utils.xml b/winsup/doc/utils.xml index 17b564da4..0909d1173 100644 --- a/winsup/doc/utils.xml +++ b/winsup/doc/utils.xml @@ -692,6 +692,8 @@ kill -l [signal] -f, --force force, using win32 interface if necessary -l, --list print a list of signal names -s, --signal send signal (use kill --list for a list) + -W, --winpid specified pids are windows PIDs, not Cygwin PIDs + (use with extrem caution!) -h, --help output usage information and exit -V, --version output version information and exit </screen> @@ -717,7 +719,13 @@ $ /bin/kill --version </screen> which should give the Cygwin <command>kill</command> version number and copyright information. </para> - <para>Unless you specific the <literal>-f</literal> option, the "pid" + <para>The <literal>-f</literal> option uses Windows functions to + terminate processes forcefully. Use <literal>-f</literal> to + terminate native Windows processes not started by Cygwin processes. + <literal>-f</literal> can also be useful to terminate Cygwin processes + not answering to SIGKILL.</para> + + <para>Unless you specific the <literal>-W</literal> option, the "pid" values used by <command>kill</command> are the Cygwin pids, not the Windows pids. To get a list of running programs and their Cygwin pids, use the Cygwin <command>ps</command> program. <command>ps -W</command> |