Linux kurz & gut, 2nd Edition

Name

type — stdin  stdout  - datei  -- opt  --help  --version

Synopsis

type [optionen] befehle

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

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

Allerdings ist type in die bash eingebaut, während which ein Programm auf der Festplatte 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 schneller als which; jedoch steht es nur zur Verfügung, wenn Sie die bash ausführen.