Times: Unterschied zwischen den Versionen
Die Seite wurde neu angelegt: „= 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,…“ |
K Textersetzung - „[[Kategorie:“ durch „[[Category:“ |
||
| Zeile 5: | Zeile 5: | ||
times ls 0m0.090s 0m0.030s 0m0.160s 0m0.160s | times ls 0m0.090s 0m0.030s 0m0.160s 0m0.160s | ||
[[ | [[Category:Linux:Shell:Bash:Builtin]] | ||
Version vom 18. Mai 2022, 12:27 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