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
IMHO, "just in case" is not a valid reason to bypass a GNU standard.
-----BEGIN PGP SIGNATURE-----
-----END PGP SIGNATURE-----
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
Trouble? e-mail to email@example.com .