diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/execline-shell.html | 7 | ||||
| -rw-r--r-- | doc/execline-startup.html | 5 |
2 files changed, 7 insertions, 5 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> diff --git a/doc/execline-startup.html b/doc/execline-startup.html index ccbdb56..69b3797 100644 --- a/doc/execline-startup.html +++ b/doc/execline-startup.html @@ -33,7 +33,8 @@ login initialization, then executes <tt>${HOME}/.execline-loginshell</tt>. <li> <tt>execline-startup</tt> sets the <tt>SHELL</tt> environment variable to <tt>/etc/execline-shell</tt>. It then performs some system-specific initialization, and -transforms itself into <tt>${HOME}/.execline-loginshell $@</tt>. </li> +transforms itself into <tt>${HOME}/.execline-loginshell $@</tt> +if available (and <tt>/etc/execline-shell</tt> otherwise). </li> <li><tt>${HOME}/.execline-loginshell</tt> must be readable and executable by the user. It must exec into <tt>$SHELL $@</tt>. </li> </ul> @@ -46,7 +47,7 @@ executable by the user. It must exec into <tt>$SHELL $@</tt>. </li> and modifiable. It is meant to be modified by the system administrator to perform system-specific login-time initialization. </li> <li> As a modifiable configuration file, execline-startup is provided in execline's -<tt>etc/</tt> subdirectory, and should be copied by the administrator +<tt>examples/etc/</tt> subdirectory, and should be copied by the administrator to <tt>/etc</tt>. </li> <li> <tt>execline-startup</tt> is meant to be used as a login shell. System administrators should manually add <tt>/etc/execline-startup</tt> |