Times: Unterschied zwischen den Versionen
K Textersetzung - „Bash:“ durch „Bash/“ |
K Textersetzung - „Bash/Builtins“ durch „Bash/Builtin“ Markierung: Manuelle Zurücksetzung |
| (2 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |
(kein Unterschied)
| |
Aktuelle Version vom 21. September 2024, 22:43 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