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.