TMP

$ whereis time

time: 
 /usr/bin/time /usr/share/man/man7/time.7.gz 
 /usr/share/man/man2/time.2.gz 
 /usr/share/man/man1/time.1.gz 
 /usr/share/man/man3/time.3am.gz 
 /usr/share/info/time.info.gz

$ type time
time Ist ein reserviertes Schlüsselwort der Shell.

$ whatis time
time (1)             - run programs and summarize system resource usage
time (2)             - get time in seconds
time (3am)           - time functions for gawk
time (7)             - overview of time and timers