diff options
| author | Valery Ushakov <uwe@stderr.spb.ru> | 2020-01-01 03:03:27 +0300 |
|---|---|---|
| committer | Valery Ushakov <uwe@stderr.spb.ru> | 2020-01-01 03:03:27 +0300 |
| commit | 7828d5d2aa2aeba1588dba190fd80dcab95d982b (patch) | |
| tree | d1eafdafcdfc6663adbb90026ba36995ea041419 /man/1/kill | |
| parent | 258f4974aca51f197616058e11774242ce91b21d (diff) | |
| parent | 012b00b7e47ed291b1f2ab07745f5a53db357c91 (diff) | |
Merged inferno-os/inferno-os into master
Diffstat (limited to 'man/1/kill')
| -rw-r--r-- | man/1/kill | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -53,7 +53,7 @@ finds all such processes owned by .I user (default: the current user), and prints -.I sh (1) +.IR sh (1) commands to kill them. The commands can be piped to the shell or selectively run, releasing back to the system any resources owned by those processes. |