diff options
| author | Laurent Bercot <ska-skaware@skarnet.org> | 2017-05-19 12:39:14 +0000 |
|---|---|---|
| committer | Laurent Bercot <ska-skaware@skarnet.org> | 2017-05-19 12:39:14 +0000 |
| commit | 486b06b4125c00dd6ffce079432022a11930ce01 (patch) | |
| tree | c8db5f303c1b6b3bc160d2eee25b2a62e0e517ab /doc/execline-shell.html | |
| parent | 80e1bb78abff39447d6312d837dd0d8155e63c8a (diff) | |
| download | execline-486b06b4125c00dd6ffce079432022a11930ce01.tar.xz | |
Add execline-startup and execline-shell to examples/ again
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> |