Если у вас возникли сомнения относительно того, является ли команда встроенным Bash, исполняемым файлом, то и другое:
$ type -a kill
kill is aliased to `echo 'You should not use kill - use OUPMclient -K instead.';'
kill is a shell builtin
kill is /usr/bin/kill
kill is /bin/kill
Это особый пример, поскольку наш провайдер хочет, чтобы мы использовали некоторые другие а не kill для процессов своего приложения.