Re: pkill

[Eric Blake]

>    Most people use the builtin kill command of the shell, so you'll
>    have to change Bash as well as coreutils.
> 
> I wish that bash would remove all those builtins, or only use them if
> a such a builtin doesn't exist on the system.

bash has the enable builtin which lets you disable builtins:
enable -n kill
Also, since kill is not a special builtin, you can always do one of:
alias kill=/bin/kill
kill() { /bin/kill "$@" }

Remember, POSIX requires kill(1) to be a shell builtin, because
it must support job syntax ("kill %1", for example), which cannot
be done with normal POSIX child process semantics.  POSIX
also requires kill(1) to be an external program, invocable by
env, nice, xargs, etc. (it requires this of all non-special builtins),
with the documented effect that when invoked externally, job
syntax does not have to work.

--
Eric Blake