[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: |
Sun, 31 Jul 2016 17:58:06 -0400 |
User-agent: |
Mutt/1.6.0 (2016-04-01) |
On Sun, Jul 31, 2016 at 11:18:14PM +0200, Tobias Geerinckx-Rice wrote:
> 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.
Nope, no suggestion from me :) I just wanted to provide some context.
> [1]: It's also a trivial way to catch 98% of bash-specific code.
Yup, it's how I like to test /bin/sh scripts.