Re: /bin/sh != /bin/bash

[Brian White <bcwhite@verisim.com>]

> The Debian setup is not friendly to people who would.  I have
> always had to deal with headaches changing the little #!/bin/sh
> to #!/bin/bash at the top of dozens of script files in the Debian
> distribution that assume /bin/sh is actually /bin/bash.  Even
> more annoying, I recently noticed that dpkg-split actually spawns
> /bin/sh with some kind of command sequence that assumes /bin/sh =
> /bin/bash.  So everytime I want to install software I have to
> change the damn link to temporarily point to /bin/bash and then
> change it back (if I don't forget) when I'm done.

If a script calls /bin/sh and needs feature unique to bash (or rather,
not in the POSIX sh), then this is a bug and should be reported as such.

                                          Brian
                                 ( bcwhite@verisim.com )

-------------------------------------------------------------------------------
You may fool the whole world down the pathway of years and get pats on the
back as you pass, but your final reward will be heartaches and tears, if you've
cheated the man in the glass.  ("The Man In The Glass" -- Emily Dickinson)


--
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
debian-devel-request@lists.debian.org . 
Trouble?  e-mail to templin@bucknell.edu .