Ja, verwenden Sie time <command>
, wie
time ls
Konsultieren Sie man time
für weitere Optionen. Link.
So funktioniert ein sleep
von einer Sekunde aussieht, getaktet mit time
:
$ time sleep 1
real 0m1.001s
user 0m0.000s
sys 0m0.000s
Verwenden Sie
/usr/bin/time
stattdessen ist die Zeit in der Bash eingebaut:Sie ist AFAIK besser konfigurierbar.
e.g. /usr/bin/time --format=' \n---- \nelapsed time is %e'ls