On 12/19/18 01:54, Max Rees wrote:
> 1) Make dash the sole /bin/sh provider
>
> 2) Leave bash and zsh as /bin/sh providers but make dash the default
How about the following:
3) Same as option 2), but with the caveat that using bash or zsh as
/bin/sh is explicitly either "not officially supported" or "supported
at a lower priority" (stated in the relevant handbook(s)). This would
allow us to adhere to our "flexibility" goal while still being
reasonable about our support resources.
That would work for me.
If there is no further discussion / objections, this will be implemented
in one week: the 5th of January 2019.
--arw
--
A. Wilcox (awilfox)
Project Lead, Adélie Linux
https://www.adelielinux.org