On Thu, May 06, 2010 at 04:24:10PM +0200, you wrote:
However, if extensions are allowed, this would mean that many scripts would have to be fixed.
Frankly, there are vast numbers of scripts which don't use -- at all, even for things like rm. I think you overstate both the amount of work and the likelihood that many scripts will bother.
Mike Stone -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
