Re: /bin/sh - /bin/bash
On Tue, 9 Sep 1997, Santiago Vila Doncel wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> On Tue, 9 Sep 1997, Christoph Lameter wrote:
> > It could be difficult to implement a tool to analyze each script
> > if it includes bash dependencies or not.
> Nobody said it was to be made using a "magical tool".
debmake is a tool and is automatically generating those scripts.
> I propose a different solution: Provide an option for debstd which allow
> the user (=package maintainer) to tell it which scripts should be
> #!/bin/bash (if any).
debstd needs to be simple.
bash is in the base system and therefore universally available. What is
the problem with /bin/bash?
> One way to implement this could be the following: Make debstd to create
> #!/bin/sh scripts by default (as before), but make it to take the first
> lines of an existing debian/postinst file if it does exist (i.e. if you
> want a particular shell script to be #!/bin/bash, just create a file in
> the debian directory with that as the first line).
debstd already does take existing maintainer scripts and accepts their
idea of what the shell should be.
--- +++ --- +++ --- +++ --- +++ --- +++ --- +++ --- +++ ---
Please always CC me when replying to posts on mailing lists.
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
Trouble? e-mail to email@example.com .