diff options
| author | Valery Ushakov <uwe@stderr.spb.ru> | 2019-12-31 21:10:33 +0000 |
|---|---|---|
| committer | Charles Forsyth <charles.forsyth@gmail.com> | 2019-12-31 21:10:33 +0000 |
| commit | 012b00b7e47ed291b1f2ab07745f5a53db357c91 (patch) | |
| tree | d1eafdafcdfc6663adbb90026ba36995ea041419 /man/1/kill | |
| parent | 26b9beaea512d50692f7fe87e104f7401e0a3c32 (diff) | |
| parent | 9ad194e071285f14c3d7a9f3aa9f72735e9d3c37 (diff) | |
Merged in nbuwe/inferno-os/bugfix/man-fixes (pull request #3)
Bugfix/a few minior man page fixes
Approved-by: Charles Forsyth <charles.forsyth@gmail.com>
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. |