time
TMP
$ 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
$ type time time Ist ein reserviertes Schlüsselwort der Shell.