Re: /bin/sh - /bin/bash

[Christoph Lameter <clameter@waterf.org>]

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
debian-devel-request@lists.debian.org . 
Trouble?  e-mail to templin@bucknell.edu .