From f316a2ed52195135a35e32d7096e876357c48c69 Mon Sep 17 00:00:00 2001 From: Laurent Bercot Date: Thu, 18 Sep 2014 20:03:23 +0000 Subject: initial commit: rc for execline-2.0.0.0 --- doc/execline-shell.html | 53 +++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 53 insertions(+) create mode 100644 doc/execline-shell.html (limited to 'doc/execline-shell.html') diff --git a/doc/execline-shell.html b/doc/execline-shell.html new file mode 100644 index 0000000..b3526f0 --- /dev/null +++ b/doc/execline-shell.html @@ -0,0 +1,53 @@ + + + + + execline: the execline-shell script + + + + + + +

+execline
+Software
+skarnet.org +

+ +

The `execline-shell` script

+ +

+execline-shell executes $HOME/.execline-shell +with the arguments it is given. +

+ +

Interface

+ +

+     /etc/execline-shell
+

+ +

execline-shell transforms itself into +${HOME}/.execline-shell $@.
${HOME}/.execline-shell must be readable and +executable by the user. It must exec into an interactive +shell with $@ as its argument.

+ +

Notes

+ +

execline-shell is meant to be used as the SHELL +environment variable value. It allows one to specify his favourite shell and +shell configuration in any language, since the ${HOME}/.execline-shell +file can be any executable program. ${HOME}/.execline-shell can be seen +as a portable .whateverrc file.
As an administrator-modifiable configuration file, execline-shell +provided in execline's etc/ subdirectory, and should be copied by +the administrator to /etc.

+ + + -- cgit v1.2.3

The execline-shell script

Interface

Notes

The `execline-shell` script