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~} <[EMAIL PROTECTED]> Home Page: http://gondor.apana.org.au/~herbert/ PGP Key: http://gondor.apana.org.au/~herbert/pubkey.txt
-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]