On Thu, 24 Jul 2008 00:26:00 +0200, Adam D. Barratt
<[EMAIL PROTECTED]> wrote:
[resending mail that bounced on the first attempt a few weeks ago, on
the offchance the problem's been fixed]
You needen't have -- I have read the old email, I just have nothing to say
to it.
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
I didn't know that; thanks for enlightening.
There's an open bug against policy regarding allowing the XSI extension
to kill so I'm blocking this bug by that one.
Regards
Jiri Palecek
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
