Name
type [Optionen] Befehle — shell built-in
bashstdin 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.
Get LINUX: kurz & gut now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.