block 486823 by 477240
thanks
Hi,
Jiří Paleček wrote:
checkbashisms reports kill -KILL in the attached file as bashism.
However, it doesn't do so when I added this command to another sh
script.
dash accepts it, and man kill doesn't say it's an extension, so I
think it is legal.
"man kill" is documenting /bin/kill whereas your script would almost
certainly be running a kill builtin - running "command -v kill" would
confirm that.
kill -SIGNAME is an XSI extension and as such not currently permitted by
Debian policy - whether or not dash implements it - which is why
checkbashisms flags it; see
http://www.opengroup.org/onlinepubs/000095399/utilities/kill.html
There's an open bug against policy regarding allowing the XSI extension to
kill so I'm blocking this bug by that one.
Regards,
Adam
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
