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 | |
| parent | 258f4974aca51f197616058e11774242ce91b21d (diff) | |
| parent | 012b00b7e47ed291b1f2ab07745f5a53db357c91 (diff) | |
Merged inferno-os/inferno-os into master
Diffstat (limited to 'man/1')
| -rw-r--r-- | man/1/kill | 2 | ||||
| -rw-r--r-- | man/1/logon | 2 | ||||
| -rw-r--r-- | man/1/mk | 2 | ||||
| -rw-r--r-- | man/1/sh | 2 | ||||
| -rw-r--r-- | man/1/sh-std | 2 |
5 files changed, 5 insertions, 5 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. diff --git a/man/1/logon b/man/1/logon index f95e0850..46ec01d6 100644 --- a/man/1/logon +++ b/man/1/logon @@ -17,7 +17,7 @@ logon \- log on to Inferno .I Logon logs a user in to the Inferno environment. It requires -.I wm (1) +.IR wm (1) to be started first. If no .I user @@ -159,7 +159,7 @@ might be: .IP .EX %.dis: %.b - limbo $stem.b + limbo $stem.b cp $stem.dis /dis .EE .PP @@ -96,7 +96,7 @@ A Dis module will be executed only if it implements the .B Command interface (see -.IR sh (1)); +.IR command (2)); a script file will be executed only if it starts with the characters .RB `` #! '' diff --git a/man/1/sh-std b/man/1/sh-std index 0689d5e8..148e5f47 100644 --- a/man/1/sh-std +++ b/man/1/sh-std @@ -102,7 +102,7 @@ std, if, while, ~, no, !, apply, getlines, status, pctl, fn, and, or, raise, res .IB list } .br .B ${parse -.IB arg ] +.IB arg } .br .B ${pipe ( |
