Nur eine kleine Frage zu Timing-Programmen unter Linux: Mit dem Befehl time kann die Ausführungszeit eines Programms gemessen werden:
[ed@lbox200 ~]$ time sleep 1
real 0m1.004s
user 0m0.000s
sys 0m0.004s
Welches funktioniert gut. Wenn ich jedoch versuche, die Ausgabe in eine Datei umzuleiten, schlägt dies fehl.
[ed@lbox200 ~]$ time sleep 1 > time.txt
real 0m1.004s
user 0m0.001s
sys 0m0.004s
[ed@lbox200 ~]$ cat time.txt
[ed@lbox200 ~]$
Ich weiß, dass es andere Zeitimplementierungen mit der Option -o gibt, um eine Datei zu schreiben, aber meine Frage betrifft den Befehl ohne diese Optionen.
Irgendwelche Vorschläge ?