Hi,
I read and worked on a fix reported to ubuntu regarding this issue.
Eventually it came down to bash builtin vs procps verison of kill having different options.
I proposed a solution making it more similar to the procps verision in a way I considered not too invasive.
But since I don't know the bash startegy/guidelines regarding compatibility across various platforms I wanted to submit it here as a request for comments as well.
No mailer set up yet on this machine, lets hope gmail doesn't hack this into pieces :-)
Kind Regards,
Christian
bash-make-kill-more-procops-compatible.patch