LINUX: kurz & gut

Name

type [Optionen] Befehle — shell built-inbashstdin stdout - datei -- opt --help --version

Der Befehl type lokalisiert genau wie which eine ausführbare Datei im Suchpfad Ihrer Shell:

$ type grep who
grep is /bin/grep
who is /usr/bin/who

Allerdings handelt es sich bei type um einen eingebauten Befehl der bash, wohingegen which ein Programm ist:

$ type which type rm if
which is /usr/bin/which
type is a shell builtin
rm is aliased to `/bin/rm -i'
if is a shell keyword

Als eingebauter Befehl ist type zwar schneller als which, er ist aber nur verfügbar, wenn Sie mit der bash arbeiten.