17 Jun
2020
17 Jun
'20
7:27 p.m.
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