Time: Unterschied zwischen den Versionen
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
| Zeile 2: | Zeile 2: | ||
= TMP = | = 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 | $ whatis time | ||
time (1) - run programs and summarize system resource usage | time (1) - run programs and summarize system resource usage | ||
| Zeile 8: | Zeile 19: | ||
time (7) - overview of time and timers | time (7) - overview of time and timers | ||
[[Kategorie:Linux:Zeit]] | [[Kategorie:Linux:Zeit]] | ||
{{DEFAULTSORT:time}} | {{DEFAULTSORT:time}} | ||
[[Kategorie:Linux:Befehl]] | [[Kategorie:Linux:Befehl]] | ||
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