Re: [PATCH ?] gnu: Add dash.

[Tobias Geerinckx-Rice]

Hullo all,

On Fri, Jul 29, 2016 at 02:44:27PM +0000, ng0 wrote:
> Ludovic Courtès <address@hidden> writes:
>> I’d tend to remove “significantly” , but otherwise LGTM, thanks!
> I second this. Significantly faster is subjectiv as long as we do not
> provide some side by side benchmark results etc.

Let's not give Phoronix any ideas.

While I am convinced that ‘significantly faster’ is an objective fact, I
agree that such claims smell so subjective that they don't belong in
Guix. I just copied that bit from upstream, to be honest. Dropped.

On 29/07/2016 17:51, Leo Famulari wrote:
> 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.

Indeed; thanks for adding that. dash is horrible for interactive use,
but fast at running shell[1] scripts. If anyone thinks that might be
relevant in the description, let me know.

Otherwise, I'll push it soon with the suggested changes.

Kind regards,

T G-R

[1]:  It's also a trivial way to catch 98% of bash-specific code.