According to this article, dash was chosen as /bin/sh because bash is slower: Dash as /bin/sh
Are there concrete figures for how much faster dash is?
How much longer does it take if you use bash instead of dash to boot Ubuntu?
Do the arguments of the above link still count today? For background: system-v init used a lot of shell scripts, but systemd does not.
This question is not about speed in a synthetic benchmark. It is about the overall noticeable benefit for the end user. A synthetic benchmark about the speed of dash vs bash does not answer the question.
