time
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