Our Ubuntu queue currently uses "dash" as /bin/sh (the default). I was about to make a request to our sysadmins that they change it so that /bin/sh points to /bin/bash (mainly for Kaldi). However, there is a vaguely ominous statement about making this change in Ubuntu from the Ubuntu wiki
https://wiki.ubuntu.com/DashAsBinSh"Beware that this is a more invasive change, will undo boot speed
benefits, and there is even an outside chance that there are a few
scripts that now depend on some feature of
dash that
bash does not provide! (We expect the last problem to be rare, as the feature set of
dash is largely a subset of that offered by
bash, but we mention it for completeness.) "
Has anyone run into problems with /bin/sh pointing to bash for Ubuntu 12.04 or 14.04?
Thanks,
-Fred