skill is broken in 12.10

[monochromec]

The command skill doesn't work in 12.10 anymore.

skill -KILL -t <term> -u <user> used to work in 12.04, after the upgrade to 12.10 this is no longer the case. Replacing skill with pkill while maintaining the exact same command line options worked though.

Probably not a big deal as skill's own manual page is not exactly in favor of the command and already recommends the alternative pkill ("These tools are obsolete and unportable. The command syntax is poorly defined. Consider using the killall, pkill, and pgrep commands instead").

ProblemType: Bug
DistroRelease: Ubuntu 12.10
Package: procps 1:3.3.3-2ubuntu3
ProcVersionSignature: Ubuntu 3.5.0-17.28-generic 3.5.5
Uname: Linux 3.5.0-17-generic x86_64
ApportVersion: 2.6.1-0ubuntu6
Architecture: amd64
Date: Wed Nov 7 07:34:20 2012
InstallationDate: Installed on 2012-05-16 (174 days ago)
InstallationMedia: Ubuntu 12.04 LTS "Precise Pangolin" - Release amd64 (20120425)
MarkForUpload: True
SourcePackage: procps
UpgradeStatus: Upgraded to quantal on 2012-10-20 (17 days ago)