From mboxrd@z Thu Jan 1 00:00:00 1970 From: Leo Famulari Subject: Re: [PATCH ?] gnu: Add dash. Date: Sun, 31 Jul 2016 17:58:06 -0400 Message-ID: <20160731215806.GA28194@jasmine> References: <20160728020337.29026-1-me@tobias.gr> <87twfahqzz.fsf@gnu.org> <87invoijw4.fsf@we.make.ritual.n0.is> <20160729155155.GC11435@jasmine> <036e7eff-19b0-aead-9fe8-0a78b827d70f@tobias.gr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:59423) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bTykd-00029o-2T for guix-devel@gnu.org; Sun, 31 Jul 2016 17:58:28 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bTykY-0004ov-SK for guix-devel@gnu.org; Sun, 31 Jul 2016 17:58:25 -0400 Content-Disposition: inline In-Reply-To: <036e7eff-19b0-aead-9fe8-0a78b827d70f@tobias.gr> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Tobias Geerinckx-Rice Cc: guix-devel@gnu.org 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.