execline: the execline-startup script
Keywords: execline execline-startup startup login script .profile

execline
Software
skarnet.org

# The `execline-startup` script

`execline-startup` performs some system-specific login initialization, then executes `${HOME}/.execline-loginshell`.

## Interface

         /etc/execline-startup

- `execline-startup` sets the `SHELL` environment variable to `/etc/execline-shell`. It then performs some system-specific initialization, and transforms itself into `${HOME}/.execline-loginshell $@` if available (and `/etc/execline-shell` otherwise).
- `${HOME}/.execline-loginshell` must be readable and executable by the user. It must exec into `$SHELL $@`.

## Notes

- `execline-startup` is an execlineb script; hence, it is readable and modifiable. It is meant to be modified by the system administrator to perform system-specific login-time initialization.
- As a modifiable configuration file, execline-startup is provided in execline's `examples/etc/` subdirectory, and should be copied by the administrator to `/etc`.
- `execline-startup` is meant to be used as a login shell. System administrators should manually add `/etc/execline-startup` to the `/etc/shells` file. The `/etc/execline-startup` file itself plays the role of the `/etc/profile` file, and `${HOME}/.execline-loginshell` plays the role of the `${HOME}/.profile` file.