[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