diff options
Diffstat (limited to 'doc/execline-shell.html')
| -rw-r--r-- | doc/execline-shell.html | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/execline-shell.html b/doc/execline-shell.html index b14c48d..02449c7 100644 --- a/doc/execline-shell.html +++ b/doc/execline-shell.html @@ -20,7 +20,8 @@ <p> <tt>execline-shell</tt> executes <tt>$HOME/.execline-shell</tt> -with the arguments it is given. +if available (or <tt>/bin/sh</tt> otherwise) with the arguments +it is given. </p> <h2> Interface </h2> @@ -34,7 +35,7 @@ with the arguments it is given. <tt>${HOME}/.execline-shell $@</tt>. </li> <li><tt>${HOME}/.execline-shell</tt> must be readable and executable by the user. It must exec into an interactive -shell with <tt>$@</tt> as its argument.</li> +shell with <tt>$@</tt> as its argument. </li> </ul> <h2> Notes </h2> @@ -46,7 +47,7 @@ shell configuration in any language, since the <tt>${HOME}/.execline-shell</tt> file can be any executable program. <tt>${HOME}/.execline-shell</tt> can be seen as a portable <tt>.<em>whatever</em>rc</tt> file. </li> <li> As an administrator-modifiable configuration file, <tt>execline-shell</tt> -provided in execline's <tt>etc/</tt> subdirectory, and should be copied by +provided in execline's <tt>examples/etc/</tt> subdirectory, and should be copied by the administrator to <tt>/etc</tt>. </li> </ul> |