Just got thrown for a loop by this. I think the proper fix is a CAVEAT section in the man page for kill indicating that shells typically override kill with a builtin. Since this is true for both dash and bash, the shells we ship by default, this seems like the least we can do. I'll try to write up a patch soon.
-- kill -L does not work https://bugs.launchpad.net/bugs/23647 You received this bug notification because you are a member of Ubuntu Bugs, which is a direct subscriber. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
