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