[adelie-project] Dash as /bin/sh provider

Hi all! 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 provider. 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! Best, --arw -- A. Wilcox (awilfox) Project Lead, Adélie Linux https://www.adelielinux.org