EXECLINE-SHELL(1)

NAME
execline-shell - execute $HOME/.execline-shell if available (or /bin/sh otherwise) with the arguments given

SYNOPSIS
/etc/execline-shell

DESCRIPTION
execline-shell transforms itself into ‘${HOME}/.execline-shell $@’.

${HOME}/.execline-shell must be readable and executable by the user. It must exec(3) 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.

SEE ALSO
exec(3)

This man page is ported from the authoritative documentation at: https://skarnet.org/software/execline/execline-shell.html

AUTHORS
Laurent Bercot Alexis <flexibeast@gmail.com> (man page port)