diff options
| author | Laurent Bercot <ska-skaware@skarnet.org> | 2021-02-14 15:10:15 +0000 |
|---|---|---|
| committer | Laurent Bercot <ska-skaware@skarnet.org> | 2021-02-14 15:10:15 +0000 |
| commit | 44be69112c71fe65784cc014995044c2a191a449 (patch) | |
| tree | 774de7de5d75c202903080b74bc5eca87ed1d8d6 /doc/execline-shell.html | |
| parent | 6ff749e62652103b3ab84ef145691602ed6e0fea (diff) | |
| download | execline-44be69112c71fe65784cc014995044c2a191a449.tar.gz execline-44be69112c71fe65784cc014995044c2a191a449.tar.xz execline-44be69112c71fe65784cc014995044c2a191a449.zip | |
Apply doc fixes by flexibeast and suggestions by Profpatsch&aranea
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> |