From mboxrd@z Thu Jan 1 00:00:00 1970 From: Leo Famulari Subject: Re: [PATCH ?] gnu: Add dash. Date: Fri, 29 Jul 2016 11:51:55 -0400 Message-ID: <20160729155155.GC11435@jasmine> References: <20160728020337.29026-1-me@tobias.gr> <87twfahqzz.fsf@gnu.org> <87invoijw4.fsf@we.make.ritual.n0.is> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:58130) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bTA51-0003WR-Ca for guix-devel@gnu.org; Fri, 29 Jul 2016 11:52:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bTA4x-0006JZ-8c for guix-devel@gnu.org; Fri, 29 Jul 2016 11:52:06 -0400 Content-Disposition: inline In-Reply-To: <87invoijw4.fsf@we.make.ritual.n0.is> 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: ng0 Cc: guix-devel@gnu.org 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.