[arch-general] dash as default shell?

[Bardur Arantsson]

On 17/06/2020 21.27, Piscium via arch-general wrote:
> On Wed, 17 Jun 2020 at 20:19, Kusoneko <kusoneko at kusoneko.moe> wrote:
> 
>> Pretty much this, to be honest. I don't really see the point of changing everyone's /bin/sh for one person's personal preference when there isn't really any point in doing so to begin with.
> 
> The reasons Ubuntu switched in 2006 and Debian in 2011 were speed,
> less bugs and more security. A simple benchmark I ran with several
> shells using konsole (which is one of the fastest terminals according
> to my simple benchmarks):
> 
> time ls -R /
> 
> • dash 8.45
> • zsh 8.53 (1 % bigger)
> • bash 17.1
> • fish 19.55
> 
> Times are in seconds, on my desktop that has a spinning drive. The
> first time it takes longer as the system caches stuff so the times
> above are after running a few times. I read that in some benchmarks
> dash is up to 4 times faster than bash.
> 

Sorry, but... wat?

This is a benchmark of $SOMETHING, but the $SOMETHING is so far removed
from any common use case that I struggle to understand its relevance
to... anything.

So for me the answer would be: No. (Also, stop trying to optimize the
wrong things.)

Regards,