[resending mail that bounced on the first attempt a few weeks ago, on the offchance the problem's been fixed]
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]
