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
