Auf einigen Unix-Systemen war ich an einen time
Befehl gewöhnt, der viele Optionen enthält, einschließlich Möglichkeiten zum Formatieren der Ausgabe ( -f
) und zum Umleiten der Ausgabe in eine Datei ( -o
), siehe zum Beispiel diesen Man-Eintrag von time
.
Unter OS X scheint es jedoch eine verkrüppelte Version zu geben, die nur zwei (nicht so nützliche) Optionen bietet -lp
. (Ich bin auf Snow Leopard, wenn das wichtig ist.)
Wie kann ich time
mein System verbessern?
macos
time
benchmarking
Juan A. Navarro
quelle
quelle
brew install gnu-time
. Der Befehl istgtime
jedoch.Das Fink-Projekt enthält viele Open-Source-Unix-Software, die auf OS X / Darwin portiert ist:
http://finkproject.org/
quelle