From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from list by lists.gnu.org with archive (Exim 4.71) id 1gkZf7-0000YJ-5X for mharc-gwl-devel@gnu.org; Fri, 18 Jan 2019 14:18:41 -0500 Received: from eggs.gnu.org ([209.51.188.92]:54146) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gkZf3-0000Y5-VM for gwl-devel@gnu.org; Fri, 18 Jan 2019 14:18:39 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gkZew-00022k-Jl for gwl-devel@gnu.org; Fri, 18 Jan 2019 14:18:33 -0500 Received: from sender-of-o53.zoho.com ([135.84.80.218]:21735) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1gkZem-0001XL-8R for gwl-devel@gnu.org; Fri, 18 Jan 2019 14:18:24 -0500 From: Ricardo Wurmus Date: Fri, 18 Jan 2019 20:17:53 +0100 Message-ID: <87ef99g4gu.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: removing the bash-engine? List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: gwl-devel@gnu.org Hi, The bash engine seems to be obsolete. All it does is generate a shell script that calls the Guile shell script generated with the simple engine. I think it=E2=80=99s safe to remove it and use the simple engine by default. What do you think? -- Ricardo