diff options
Diffstat (limited to 'doc/execline-shell.html')
| -rw-r--r-- | doc/execline-shell.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/execline-shell.html b/doc/execline-shell.html index 80c52eb..92140c1 100644 --- a/doc/execline-shell.html +++ b/doc/execline-shell.html @@ -42,12 +42,12 @@ shell with <tt>$@</tt> as its argument. </li> <ul> <li> <tt>execline-shell</tt> is meant to be used as the <tt>SHELL</tt> -environment variable value. It allows one to specify his favourite shell and +environment variable value. It allows one to specify their favourite shell and 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>examples/etc/</tt> subdirectory, and should be copied by +is provided in execline's <tt>examples/etc/</tt> subdirectory, and should be copied by the administrator to <tt>/etc</tt>. </li> </ul> |