[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: dash as default /bin/sh and bashisms-free archive RGs



Le mercredi 15 avril 2009 à 11:44 -0500, Raphael Geissert a écrit :
> > Policy documents practice. When that new /bin/sh exists, you can change
> 
> bash is the current /bin/sh, from your statements I could imply that we
> should require all /bin/sh's to support: b0rken bash arrrays, shell
> regexes!, ${RANDOM,HOSTNAME,{E,}UID}, pushd, popd, let, exec -c/-l/-a, ...?

> lots of those features are used in the wild, thus "practice."

> And taking your statement to the extreme, it means that if zsh was used
> as /bin/sh then no other shell interpreter could ever be used as /bin/sh
> ever again but a fork of zsh.

I’m proposing to do the exact opposite. But I see you are only
interested in trolling, not in discussing options.

-- 
 .''`.      Debian 5.0 "Lenny" has been released!
: :' :
`. `'   Last night, Darth Vader came down from planet Vulcan and told
  `-    me that if you don't install Lenny, he'd melt your brain.

Attachment: signature.asc
Description: Ceci est une partie de message =?ISO-8859-1?Q?num=E9riquement?= =?ISO-8859-1?Q?_sign=E9e?=


Reply to: