execline
Software
skarnet.org

The execline-shell script

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

Interface

     /etc/execline-shell

Notes