Hi,

I normally use /bin/bash, because I use “bashisms” and I have not a clue what is compatible with what shell.

I do not think that there is a single distribution who is linking /bin/sh to anything else than a GNU bash apart from Debian and everything that is using busybox.

The latter is totally irrelevant for us. Dash - the Debian shell is becoming less popular. People who are using fancy shells like ZSH or fish only use that for the user accounts, but the /bin/sh symlink remains untouched.

There is probably no collateral damage from changing our scripts from /bin/sh to /bin/bash. The other way round would definitely cause problems.

Hope this helps.

-Michael

> On 7 Apr 2020, at 16:24, Peter Müller <peter.mueller(a)ipfire.org> wrote:
> 
> Hello *,
> 
> quite a bunch of initscripts in IPFire 2.x contains the /bin/sh as given interpreter
> in their shebang line. Since /bin/sh is a symlink to /bin/bash, I guess it makes sense
> to rewrite them to /bin/bash accordingly.
> 
> That way, we avoid potential collateral damage by following symlinks (dangerous!) and provide
> additional information so tools like shellcheck know what they are actually dealing with.
> 
> Opinions?
> 
> Thanks, and best regards,
> Peter Müller