set -e vs. #!/bin/sh -e

[Herbert Xu <herbert@gondor.apana.org.au>]

Hi:
	Up till now there has been no policy on whether one should use
#!/bin/sh -e or do set -e in a script.  I think we should gradually deprecate
the latter in favour of #!/bin/sh -e because with it one can override the -e
option by doing something like "/bin/sh script".  This would help in debugging
faulty scripts or forcing a script to ignore errors in weird circumstances.
Would anyone object to this if this were done say for slink?
-- 
Debian GNU/Linux 1.3 is out! ( http://www.debian.org/ )
Email:  Herbert Xu ~{PmV>HI~} <herbert@gondor.apana.org.au>
Home Page: http://gondor.apana.org.au/~herbert/
PGP Key: http://gondor.apana.org.au/~herbert/pubkey.txt


--
To UNSUBSCRIBE, email to debian-policy-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org