zsh
hat einen leistungsfähigeren time
Befehl als bash
zuvor, und die zsh
Version kann Speicherstatistiken melden.
Selbst wenn Sie nicht regelmäßig zsh
als Shell für den täglichen Gebrauch verwendet werden, können Sie sie einfach ausführen, wenn Sie diese Art von Statistiken benötigen.
Legen Sie die TIMEFMT
Umgebungsvariable fest, um die gewünschte Ausgabe anzugeben. Folgendes habe ich in meiner .zshrc
Datei (vielleicht etwas zu schick, aber ich mag es):
TIMEFMT='%J %U user %S system %P cpu %*E total'$'\n'\ 'avg shared (code): %X KB'$'\n'\ 'avg unshared (data/stack): %D KB'$'\n'\ 'total (sum): %K KB'$'\n'\ 'max memory: %M MB'$'\n'\ 'page faults from disk: %F'$'\n'\ 'other page faults: %R'
Beispielausgabe:
% time ls [... the output of ls, followed by:] ls -G 0.00s user 0.00s system 91% cpu 0.004 total avg shared (code): 0 KB avg unshared (data/stack): 0 KB total (sum): 0 KB max memory: 668 MB page faults from disk: 0 other page faults: 337