> 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 _______________________________________________ Bug-coreutils mailing list Bug-coreutils@gnu.org http://lists.gnu.org/mailman/listinfo/bug-coreutils