Incompatibility: one verbose, one not.
$ kill -1 1812 1818 1825 1826 1857
bash: kill: (1812) - No such process
bash: kill: (1818) - No such process...
$ /bin/kill -1 1812 1818 1825 1826 1857
$
Or at least also mention /bin/kill here
$ help kill
...Kill is a shell builtin for two reasons...
$ man kill mentions to see also the shell's builtin, but bash doesn't
return the favor.
_______________________________________________
Bug-bash mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-bash
