1 |
Seemant, |
2 |
|
3 |
I coming to this thread a little late, and forgive me if I am grasping the wrong |
4 |
end of the stick, but I dont see what the problem is. |
5 |
|
6 |
Whether the init.d scripts (or any other startup scripts) use bash or not, how |
7 |
should this affect the users own choice of shell for interactive use? After all, |
8 |
there is nothing in those scripts which carry over into the users interactive |
9 |
environment - they are executed in a child process, not sourced. |
10 |
|
11 |
Basically - install and use whatever shell you like. The most you would have to |
12 |
do is translate /etc/profile.env into your own shell's lingo, if it came to that. |
13 |
|
14 |
Secondly, as Stuart mentioned, we should never confuse /bin/sh with /bin/bash. |
15 |
Even if the same executable ends up interpreting the script, the result is NOT |
16 |
the same. Compare the output of the following 2 scripts: |
17 |
|
18 |
#!/bin/sh |
19 |
set -o |
20 |
|
21 |
#!/bin/bash |
22 |
set -o |
23 |
|
24 |
FWIW, I think it's very sensible that Gentoo explicitly uses /bin/bash as the |
25 |
shell of choice, rather than unnecessarily giving up functionality by shebanging |
26 |
/bin/sh. |
27 |
|
28 |
Regards, |
29 |
Imran Sher Rafique |
30 |
|
31 |
Seemant Kulleen <seemant@g.o> wrote on Fri Mar 26, 2004 at 11:39:35AM -0800: |
32 |
> On Fri, 2004-03-26 at 11:01, Peter Johanson wrote: |
33 |
> > On Fri, Mar 26, 2004 at 11:03:06AM -0800, Seemant Kulleen wrote: |
34 |
> > > Hi Party People in the house, |
35 |
> > > |
36 |
> > > Wondering if perhaps we should have a virtual/sh provided by sh |
37 |
> > > compatible shells? |
38 |
> > > |
39 |
> > > Thoughts? |
40 |
> > |
41 |
> > Is this ultimately to let people have something other than bash for |
42 |
> > their "standard shell"? and not have bash installed? Cause lord knows |
43 |
> > what all would break in gentoo land if bash weren't around. *cringe* |
44 |
> > |
45 |
> > How does this make things better than the current situation? |
46 |
> |
47 |
> That's exactly the point of my questions as well, actually. We got a |
48 |
> bug report in (at least one, probably more), asking for choice in |
49 |
> shells. The complaint essentially was that the rc-script and init stuff |
50 |
> uses /bin/bash explicitly, and not /bin/sh. The thinking behind that |
51 |
> report was that people may want to have some other-than-bash shell |
52 |
> installed, which is what brings us to here now :) |
53 |
> |
54 |
> -- |
55 |
> Seemant Kulleen |
56 |
> Developer and Project Co-ordinator, |
57 |
> Gentoo Linux http://dev.gentoo.org/~seemant |
58 |
> |
59 |
> Public Key: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x3458780E |
60 |
> Key fingerprint = 23A9 7CB5 9BBB 4F8D 549B 6593 EDA2 65D8 3458 780E |
61 |
> |
62 |
|
63 |
|
64 |
|
65 |
|
66 |
-- |
67 |
gentoo-dev@g.o mailing list |