Auf einigen Unix-Systemen war ich an einen timeBefehl 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 timemein System verbessern?
brew install gnu-time. Der Befehl istgtimejedoch.