The Internet is unanimous:
kill is a Bash builtin. Bash changelog says the same.
However my other builtins apparently think otherwise:
$ builtin kill bash: builtin: kill: not a shell builtin $ type kill kill is /bin/kill $ command -V kill kill is /bin/kill
This happens even though
help kill gives documentation and
man bash mentions
kill in its “SHELL BUILTIN COMMANDS” section (but, if we start to interpret signs, elsewhere in the manual, it is only referred to as “the
kill command”, whereas confirmed builtins are referred to as e.g. “the
What is going on here? Is this part of a plan? I am running Bash 5.0.2 on Linux.