Time: Unterschied zwischen den Versionen
Die Seite wurde neu angelegt: „= TMP = dirkwagner@lincln02 /usr/src $ 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 dirkwagner@lincln02 /usr/src $ type time time Ist ein reserviertes Schlüsselwort der Shell.“ |
Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
= TMP = | = TMP = | ||
$ 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 | ||
time (3am) - time functions for gawk | time (3am) - time functions for gawk | ||
time (7) - overview of time and timers | time (7) - overview of time and timers | ||
$ type time | |||
time Ist ein reserviertes Schlüsselwort der Shell. | time Ist ein reserviertes Schlüsselwort der Shell. | ||
Version vom 2. November 2022, 11:43 Uhr
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.