Subject: Re: bashism for ksh
To: Christian Biere <email@example.com>
From: Jachym Holecek <firstname.lastname@example.org>
Date: 02/01/2007 04:01:22
# Christian Biere 2007-01-31:
> > On Tue, Jan 30, 2007 at 06:05:12PM +0100, Christian Biere wrote:
> > And many of those are a complete portability nightmare...
> Alright, I keep the changes private then and I don't have the desire to
> maintain a fork either. EOT.
I think improving /bin/ksh usability is a good thing (#ifndef SMALL).
If someone uses the extensions in supposed-to-be-portable scripts, then
he gets what he deserves. After all, his scripts are not our responsibility.
The extensions just need to be documented as such.