Re: Switching /bin/sh to dash without dash essential
On 2009-07-25 09:53:06 +0200, Steve Langasek wrote:
> On Fri, Jul 24, 2009 at 10:38:51AM -0500, Manoj Srivastava wrote:
> > On Fri, Jul 24 2009, Steve Langasek wrote:
> > > What's the advantage of having it be zsh? Is zsh faster than
> > > dash? Or is the only savings the elimination of the 84k dash
> > > binary from /bin?
> > It allows all the #!/bin/sh scripts that us zsh-isms to run.
> They can already be run under #!/bin/zsh. Why would we want to tie
> our hands even further as a distribution by putting ourselves in the
> position of having end users deploying /bin/sh scripts that require
> zsh, *in addition* to the end users who already deploy /bin/sh
> scripts that require bash?
I don't know what Manoj had in mind exactly, but he hasn't said that
zsh would be required. Think about something like that:
if test -n "$ZSH_VERSION"; then
foo="..." <- slower version for generic POSIX shells
Vincent Lefèvre <email@example.com> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)