Re: time -o fiele kaputt?

From: Patrick Hess <patrickhess(at)gmx.net>
Date: Mon, 18 Jun 2007 23:37:59 +0200

Moin,

schoensee schrieb:
> ksh: time: -o unknown option
>
> 'man time' sagt mir, dass der standard out im file 'result'
> landen sollte.

Die Manpage beschreibt /usr/bin/time, während bei deinem Aufruf eine
in der Shell eingebaute Funktionalität verwendet wird:

# which time
/usr/bin/time

# type time
time is a shell keyword

Das ist auch deutlich an der unterschiedlichen Ausgabe zu erkennen:

# /usr/bin/time true
0,00 real 0,00 user 0,00 sys

     # time true
     real 0m0.000s
     user 0m0.000s
     sys 0m0.000s

Gruß,
Patrick

PS: Wir freuen uns hier meistens über Realnames.

To Unsubscribe: send mail to majordomo(at)de.FreeBSD.org
with "unsubscribe de-bsd-questions" in the body of the message
Received on Mon 18 Jun 2007 - 23:39:28 CEST