[Nix-dev] Dealing with non-Bash /bin/sh on non-NixOS

[Peter Simons]

Hi Eelco,

 >> Is there a better way to approach that problem?
 >
 > Yes, fix builders not to rely on /bin/sh (or at least not to assume
 > it's Bash).

we should link /bin/sh to Dash instead of Bash. That would catch any
implicit dependencies on non-POSIX shell features, and it would also
speed up our scripts quite a bit, because Dash starts up much faster
than Bash does.

Take care,
Peter