Package: posh Version: 0.11 Happy New Year.
When "kill" does oneself, a parent is finished forcibly: #!/bin/bash posh -c '/bin/kill $$' echo 0 "echo 0" is not executed. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
