EXECLINE-SHELL(1)

πŸ“¦ version 2.9.9.2, in nixpkgs unstable

πŸ’… EXECLINE-SHELL(1) β€” like, the execline-shell page, bestie

okay so welcome to execline-shell(1) from the General Commands Manual πŸŽ€ this is the whole vibe, let's go ✨


✨ NAME ✨

execline-shell β€” it literally executes $HOME/.execline-shell if that exists (or /bin/sh otherwise, no cap) with whatever arguments you hand it 🫢


🌸 SYNOPSIS 🌸

/etc/execline-shell

that's it. that's the whole synopsis. iconic πŸ’…


πŸ¦‹ DESCRIPTION πŸ¦‹

so here's the tea β˜• β€” execline-shell transforms itself into this:

${HOME}/.execline-shell $@

like it becomes that. main character energy fr fr ✨

now, ${HOME}/.execline-shell must be readable and executable by the user. and it must exec(3) into an interactive shell with $@ as its argument. those are the rules, no negotiating πŸ™ˆ

execline-shell is meant to be used as the value of the SHELL environment variable. the way that works is: you get to specify your fave shell and your shell configuration in any language, because the ${HOME}/.execline-shell file can be literally any executable program 🌈 so you can think of ${HOME}/.execline-shell as a portable .whateverrc file πŸ‘‘

as an administrator-modifiable configuration file, execline-shell is provided in execline's examples/etc/ subdirectory, and the administrator should copy it to /etc πŸŽ€


πŸ’œ SEE ALSO πŸ’œ

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)

aaaand that's the whole thing, bestie, you ate that πŸ“πŸ’–

sign-off szn: this baby's from Debian, dated February 16, 2021 β€” mwah πŸ’‹β­
πŸ“¦ where this page comes from