Times: Unterschied zwischen den Versionen
K Dirkwagner verschob die Seite Linux:Shell:Bash:Builtin:times nach Bash:Builtin:times, ohne dabei eine Weiterleitung anzulegen: Textersetzung - „Linux:Shell:“ durch „“ |
K Dirkwagner verschob die Seite Bash:Builtin:times nach Times, ohne dabei eine Weiterleitung anzulegen: Textersetzung - „Bash:Builtin:“ durch „“ |
(kein Unterschied)
| |
Version vom 26. Mai 2022, 19:56 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