Re: Proposed release goal: Switch to dash as /bin/sh to speed up the boot

[Marco d'Itri <md@Linux.IT>]

tg@mirbsd.de wrote:

>If we have more than one alternative package (bash _and_ mksh - and maybe
>pdksh, AT&T ksh, zsh? No idea if they're /bin/sh compatible enough), we
>need the configuration mechanism in all shells that can be used as /bin/sh
>so that we have a choose-one-out-of-many kind of question. At least this
What is the point of using something different from bash and dash?

I support the idea of switching to dash as /bin/sh, but so far I do not
see a good enough reason to add more complexity.

-- 
ciao,
Marco