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...