As many of you are already aware, a 1.0 goal we have identified and
agreed on is making the Dash (Debian Almquist) shell the default /bin/sh
My question is: should it be the *sole* /bin/sh provider? This would
eliminate any possible corner case bugs where something doesn't work on
bash or zsh but does on dash. Of course, the likelihood of that
happening is so small as to be minuscule, so perhaps user choice should
still be available.
So, the two options are:
1) Make dash the sole /bin/sh provider
2) Leave bash and zsh as /bin/sh providers but make dash the default
Let's discuss and hammer out a fantastic 1.0!
A. Wilcox (awilfox)
Project Lead, Adélie Linux