On 17/06/2020 21.27, Piscium via arch-general wrote: > On Wed, 17 Jun 2020 at 20:19, Kusoneko <kusoneko@xxxxxxxxxxxx> 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,