The `execline-shell` script

execline-shell executes $HOME/.execline-shell if available (or /bin/sh otherwise) 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.

execline-shell is meant to be used as the SHELL environment variable value. It allows one to specify their 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 is provided in execline's examples/etc/ subdirectory, and should be copied by the administrator to /etc.