Auf einigen Unix-Systemen bin ich an einen Befehl gewöhnt, timeder viele Optionen bietet, darunter Möglichkeiten zum Formatieren der Ausgabe ( -f) und zum Umleiten der Ausgabe in eine Datei ( -o), siehe zum Beispiel diesen Man-Eintrag vontime.
Unter OS X haben wir jedoch anscheinend eine abgespeckte Version, die nur zwei (nicht so nützliche) Optionen bietet -lp. (Ich verwende Snow Leopard, falls das wichtig ist.)
timeWie kann ich also mein System verbessern ?
Antwort1
Sie haben gtime in derMacports, und inselbstgebrautes
Antwort2
Das Fink-Projekt bietet zahlreiche Open-Source-Unix-Software, die auf OS X/Darwin portiert wurde: