Ausgabe von 'time' umlenken

[Puh-Bert]

Hi,

wie kann ich die Ausgabe von 'time' in eine Textdatei umlenken?
Wenn ich 'time > time.log make' mache landet leider die Ausgabe von make in der Logdatei.
Zweite Frage: Wenn ich eine weitere Ausgabe von time in dieselbe Datei schreiben will, mache ich das dann mit '>>'?

Puh-Bert

[Spike05]

Wieso läßt du nicht einfach das make weg?

[Puh-Bert]

Weil 'time' die Zeit des nachfolgend angegebenen Prozesses auspuckt - in diesem Fall eben die Zeit, die 'make' braucht.

Puh-Bert

[Spike05]

Klar, schon kapiert! Habe mir gerade mal time installiert um zu schauen was das überhaupt macht, komme aber auf das selbe Ergebnis wie du!!:rolleyes:

[melody lee]

"/usr/bin/time -o DATEI befehl"
Frag mich jetzt aber nicht, warum das mit Pfad aufgerufen werden muss. (vielleicht hab ich mir auch nur mal verhunzt)

[taylor]

Ich hab irgendwie den Verdacht, dass es neben dem Programm 'time' auch eine gleichnamige Bash-Funktion o.ä. gibt?!

Ein 'which time' sagt z.B. hier gar nichts.
Ein alias scheint es auch nicht zu sein.

Hat jemand eine Antwort?

[Puh-Bert]

Jap, das funzt so. Bei mir gehts auch nur mit kompletter Pfadangabe. Ein 'which time' gibt bei mir auch nix raus ... ?!

Danke!

Puh-Bert

[melody lee]

oh... das ist also normal?
Wie beruhigend...

[melody lee]

*gnahh*
Ok, "time" ist wohl auch ein bash-builtin.
In der ash geht's nämlich.

$ ash
# time ls 2>log
[ausgabe von ls]
# less log
0.01user 0.00system 0:00.09elapsed 10%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (111major+22minor)pagefaults 0swaps
# exit
$

[dauni]

which geht bei mir gleich gar nicht, deshalb verwende ich auch immer whereis :)