[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH ?] gnu: Add dash.
From: |
Leo Famulari |
Subject: |
Re: [PATCH ?] gnu: Add dash. |
Date: |
Fri, 29 Jul 2016 11:51:55 -0400 |
User-agent: |
Mutt/1.6.0 (2016-04-01) |
On Fri, Jul 29, 2016 at 02:44:27PM +0000, ng0 wrote:
> I second this. Significantly faster is subjectiv as long as we do not
> provide some side by side benchmark results etc.
I'm not suggesting that we run the benchmarks or put 'significantly'
back in the description, but I would like to include some context.
This is the shell that Debian uses as the default non-interactive
"system" shell. They replaced Bash with dash in that context in order to
reduce the time spent on shell initialization for things like the boot
sequence.
Just an FYI.