Re: /bin/sh - /bin/bash
-----BEGIN PGP SIGNED MESSAGE-----
On Tue, 9 Sep 1997, Christoph Lameter wrote:
> > 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.
So there is absolutely no need to force #!/bin/bash in the general case if
we can tell debstd exactly which ones *need* to be #!/bin/bash.
The only problem I see here is that you seem to dislike the "bug
report method" I proposed.
Think about this: We may need the information about the scripts needing
#!/bin/bash at some time. If we make them all #!/bin/bash, we lose this
information.
IMHO, "just in case" is not a valid reason to bypass a GNU standard.
-----BEGIN PGP SIGNATURE-----
Version: 2.6.3ia
Charset: latin1
iQCVAgUBNBWmIyqK7IlOjMLFAQFKhQQArXhSIrG9l7/aWqBejBrFT7wep5SgAsnZ
8s3R6dViLKbp9JRlX52xyAr/yQRgi1jWeiF0sCOefx+DkCRE+HktKDSlMAhxechB
Dg8/qVuvlyAQvMNMdUrpzT798YDNKGpALp+hmzBBqz6R7G82wvnxcLYZjsk0sJ6q
UWBPRtykN5k=
=cplu
-----END PGP SIGNATURE-----
--
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 .
Reply to: