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.
Notes
- 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.