Subject: Re: bashism for ksh
To: Christian Biere <>
From: Jachym Holecek <>
List: tech-userlevel
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.

	-- Jachym