On Wed, 24 Oct 2018 18:05:54 -0400, Steve wrote in message
<20181024180554.4f65798a@???>:

> On Wed, 24 Oct 2018 07:31:04 +0200
> "J. Fahrner" <jf@???> wrote:
>
>
> > One wish: please use /bin/sh (dash) for the shell, don't use bash.
> > Bash has a lot more overhead because it is optimized for interactive
> > usage. Many developers don't mind about that and always use bash,
> > even for simple start scripts were they don't need it.
> >
> > Jochen
>
> Thanks Jochen,
>
> I always, always, ALWAYS use #!/bin/sh and never use #!/bin/bash.
>
> #!/bin/sh is a computer language.
>
> #!/bin/bash is a development environment.
>
> It's not dash on every computer, but it's almost always something more
> secure and less bloaty than bash.
>
> I promise I'll use #!/bin/sh to start every run script, and will ask
> all who help me to do the same.

..a viable nag function idea for these run scripts:
if #!/bin/sh is #!/bin/bash or #!/bin/zsh etc fancy bloat,
recommend installing safer etc #!/bin/dash.

..can be done annoyingly, e.g. with a pop-up with 2 buttons,
"Dismiss AGAIN..." and "Ok, install /bin/dash Now, so this
Damned Pop-Up NEVER Pops Up Again!!!"

--
..med vennlig hilsen = with Kind Regards from Arnt Karlsen
...with a number of polar bear hunters in his ancestry...
Scenarios always come in sets of three:
best case, worst case, and just in case.