Time: Unterschied zwischen den Versionen
Keine Bearbeitungszusammenfassung |
|||
| Zeile 2: | Zeile 2: | ||
= TMP = | = TMP = | ||
$ whereis time | $ '''whereis time''' | ||
time: | time: | ||
/usr/bin/time /usr/share/man/man7/time.7.gz | /usr/bin/time /usr/share/man/man7/time.7.gz | ||
| Zeile 10: | Zeile 10: | ||
/usr/share/info/time.info.gz | /usr/share/info/time.info.gz | ||
$ type time | $ '''type time''' | ||
time Ist ein reserviertes Schlüsselwort der Shell. | time Ist ein reserviertes Schlüsselwort der Shell. | ||
$ whatis time | $ '''whatis time''' | ||
time (1) - run programs and summarize system resource usage | time (1) - run programs and summarize system resource usage | ||
time (2) - get time in seconds | time (2) - get time in seconds | ||
Version vom 2. November 2022, 11:48 Uhr
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