Times: Unterschied zwischen den Versionen
Keine Bearbeitungszusammenfassung |
K Textersetzung - „Bash:“ durch „Bash/“ |
||
| Zeile 7: | Zeile 7: | ||
times ls 0m0.090s 0m0.030s 0m0.160s 0m0.160s | times ls 0m0.090s 0m0.030s 0m0.160s 0m0.160s | ||
[[Kategorie:Bash | [[Kategorie:Bash/Builtin]] | ||
{{DEFAULTSORT:times}} | {{DEFAULTSORT:times}} | ||
Version vom 27. März 2023, 10:24 Uhr
times
- Misst die Zeit für die Shell und der von dieser gestarteten Kommandos.
Ausgegeben wird die User- und die Systemzeit (nicht jedoch die Realzeit, dies vermag das Kommando time):
times ls 0m0.090s 0m0.030s 0m0.160s 0m0.160s