Gentoo Logo
Gentoo Spaceship




Note: Due to technical difficulties, the Archives are currently not up to date. GMANE provides an alternative service for most mailing lists.
c.f. bug 424647
List Archive: gentoo-dev
Navigation:
Lists: gentoo-dev: < Prev By Thread Next > < Prev By Date Next >
Headers:
To: seemant@g.o
From: Imran Sher Rafique <imran_lists1@...>
Subject: Re: yet another virtual question
Date: Thu, 1 Apr 2004 18:41:56 -0800
Seemant,

I coming to this thread a little late, and forgive me if I am grasping the wrong
end of the stick, but I dont see what the problem is.

Whether the init.d scripts (or any other startup scripts) use bash or not, how
should this affect the users own choice of shell for interactive use? After all,
there is nothing in those scripts which carry over into the users interactive
environment - they are executed in a child process, not sourced.

Basically - install and use whatever shell you like. The most you would have to
do is translate /etc/profile.env into your own shell's lingo, if it came to that.

Secondly, as Stuart mentioned, we should never confuse /bin/sh with /bin/bash.
Even if the same executable ends up interpreting the script, the result is NOT
the same. Compare the output of the following 2 scripts:

#!/bin/sh
set -o

#!/bin/bash
set -o

FWIW, I think it's very sensible that Gentoo explicitly uses /bin/bash as the
shell of choice, rather than unnecessarily giving up functionality by shebanging
/bin/sh.

Regards,
       Imran Sher Rafique

Seemant Kulleen <seemant@g.o> wrote on Fri Mar 26, 2004 at 11:39:35AM -0800:
> On Fri, 2004-03-26 at 11:01, Peter Johanson wrote:
> > On Fri, Mar 26, 2004 at 11:03:06AM -0800, Seemant Kulleen wrote:
> > > Hi Party People in the house,
> > > 
> > > Wondering if perhaps we should have a virtual/sh provided by sh
> > > compatible shells?
> > > 
> > > Thoughts?
> > 
> > Is this ultimately to let people have something other than bash for
> > their "standard shell"? and not have bash installed? Cause lord knows
> > what all would break in gentoo land if bash weren't around. *cringe*
> > 
> > How does this make things better than the current situation?
> 
> That's exactly the point of my questions as well, actually.  We got a
> bug report in (at least one, probably more), asking for choice in
> shells.  The complaint essentially was that the rc-script and init stuff
> uses /bin/bash explicitly, and not /bin/sh.  The thinking behind that
> report was that people may want to have some other-than-bash shell
> installed, which is what brings us to here now :)
> 
> -- 
> Seemant Kulleen
> Developer and Project Co-ordinator,
> Gentoo Linux					http://dev.gentoo.org/~seemant
> 
> Public Key: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x3458780E
> Key fingerprint = 23A9 7CB5 9BBB 4F8D 549B 6593 EDA2 65D8 3458 780E
> 




--
gentoo-dev@g.o mailing list

References:
yet another virtual question
-- Seemant Kulleen
Re: yet another virtual question
-- Peter Johanson
Re: yet another virtual question
-- Seemant Kulleen
Navigation:
Lists: gentoo-dev: < Prev By Thread Next > < Prev By Date Next >
Previous by thread:
Re: yet another virtual question
Next by thread:
PGP/GPG keys/signatures? possibly OT?
Previous by date:
Re: Tree breakage
Next by date:
Re: Do I really need the tree?


Updated Jun 17, 2009

Summary: Archive of the gentoo-dev mailing list.

Donate to support our development efforts.

Copyright 2001-2013 Gentoo Foundation, Inc. Questions, Comments? Contact us.