Thank you for opening this bug and helping make Ubuntu better.
As far as I can remember, Ubuntu has been using kill from the procps package, not coreutils. On Cosmic and 16.04 (the only machines I have access to right now), /bin/kill is being provided by procps:
It is probable that this is also your case, but before changing the package in the bug I would like you to check.
* man kill should tell you if it is coreutils or not;
* apt-file search bin/kill will return you all packages that deploy "bin/kill" (note that we are only looking for /bin/kill).
Please report back, and we will then act as needed.
Hello Guido,
Thank you for opening this bug and helping make Ubuntu better.
As far as I can remember, Ubuntu has been using kill from the procps package, not coreutils. On Cosmic and 16.04 (the only machines I have access to right now), /bin/kill is being provided by procps:
cerdea@piatam:$ dpkg -L coreutils|grep kill man/man1/ kill.1. gz man/man1/ skill.1. gz man/man1/ pkill.1. gz
1 $ dpkg -L procps|grep kill
/bin/kill
/usr/bin/skill
/usr/share/
/usr/share/
/usr/bin/pkill
/usr/share/
It is probable that this is also your case, but before changing the package in the bug I would like you to check.
* man kill should tell you if it is coreutils or not;
* apt-file search bin/kill will return you all packages that deploy "bin/kill" (note that we are only looking for /bin/kill).
Please report back, and we will then act as needed.