Re: /bin/sh diversions
> I guess the idea behind making dash the default /bin/sh is not only to
> increase speed but also, in the end, to downgrade bash's priority.
As the one proposing it as a release goal, I can confirm that this is
not the case. The only idea behind it for me is to increase speed.
If others want to downgrade the priority of bash, I wish them luck and
hope they see it as a completely different effort from the work done
to speed up the distribution. :)