[arch-general] dash as default shell?

Merlin Büge toni at bluenox07.de
Wed Jun 17 19:27:31 UTC 2020

On Wed, 17 Jun 2020 19:18:59 +0000, Kusoneko wrote:

> 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.

See OP's first post:

> I did some simple benchmarks and dash is much faster than bash, moreover
> being far smaller there is less chance of bugs.

Merlin Büge

More information about the arch-general mailing list