Re: Several reasons why debian should not use bash for /bin/sh

To: Richard Braakman <dark@xs4all.nl>
Cc: cr212@cam.ac.uk (Chris Reed), cdulrich@ucdavis.edu, debian-devel@lists.debian.org
Subject: Re: Several reasons why debian should not use bash for /bin/sh
From: Rob Browning <rlb@cs.utexas.edu>
Date: 29 Jul 1998 18:59:47 -0500
Message-id: <[🔎] 87btq8w6mk.fsf@nevermore.csres.utexas.edu>
In-reply-to: Richard Braakman's message of "Thu, 30 Jul 1998 01:50:00 +0200 (CEST)"
References: <[🔎] E0z1fyq-0000fb-00@night>

Richard Braakman <dark@xs4all.nl> writes:

> I think debstd has a script to check for bashisms, but I don't know
> how thorough it is.

Can't we just use "ash -n script" to catch most of the syntax
problems?  Let ash's parser handle the problem.

-- 
Rob Browning <rlb@cs.utexas.edu> PGP=E80E0D04F521A094 532B97F5D64E3930

--  
To UNSUBSCRIBE, email to debian-devel-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org

Reply to:

Follow-Ups:
- Re: Several reasons why debian should not use bash for /bin/sh
  - From: Manoj Srivastava <srivasta@datasync.com>

References:
- Re: Several reasons why debian should not use bash for /bin/sh
  - From: Richard Braakman <dark@xs4all.nl>

Prev by Date: away until sunday
Next by Date: Re: FHS: Wholesale conversion is wrong
Previous by thread: Re: Several reasons why debian should not use bash for /bin/sh
Next by thread: Re: Several reasons why debian should not use bash for /bin/sh
Index(es):
- Date
- Thread