Sie können viel detailliertere Informationen erhalten als die in der Bash integrierten time
(d.h. Zeit(1) (die Robert Gamble erwähnt). Normalerweise ist dies /usr/bin/time
.
Anmerkung der Redaktion: Um sicherzustellen, dass Sie die externes Dienstprogramm time
und nicht die Ihrer Shell time
Stichwort rufen Sie es auf als /usr/bin/time
. time
ist eine POSIX-mandatiertes Dienstprogramm , aber die einzige Option, die er unterstützen muss, ist -p
. Bestimmte Plattformen implementieren spezifische, nicht standardisierte Erweiterungen: -v
arbeitet mit GNU 's time
Nutzen, wie unten gezeigt (die Frage ist mit linux ); die BSD/macOS-Implementierung verwendet -l
um ähnliche Ergebnisse zu erzielen - siehe man 1 time
.
Beispiel für eine ausführliche Ausgabe:
$ /usr/bin/time -v sleep 1
Command being timed: "sleep 1"
User time (seconds): 0.00
System time (seconds): 0.00
Percent of CPU this job got: 1%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.05
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 0
Minor (reclaiming a frame) page faults: 210
Voluntary context switches: 2
Involuntary context switches: 1
Swaps: 0
File system inputs: 0
File system outputs: 0
Socket messages sent: 0
Socket messages received: 0
Signals delivered: 0
Page size (bytes): 4096
Exit status: 0