#!/command/execlineb -S0

# Copy that file to /etc/execline-shell .
# Make /etc/execline-shell the users' default shell.
# Users will do what they want and exec into their favourite shell
#  in their ${HOME}/.execline-shell executable file,
#
# Possible .execline-shell file:
# #!/command/execlineb -S0
# zsh $@

import HOME
${HOME}/.execline-shell $@
