Re: time und tee und Parameter
Gerhard Brauer <gerhard.brauer@web.de> wrote:
> Jetzt ist mir aufgefallen, das time im Gegensatz zur manpage
> *keinerlei* Parameter akzeptiert, sondern jeden Parameter (egal
> in welcher Notation) als auszuwertenden Befehl versteht.
Du erwischt das time Builtin der Shell. Versuchs mal mit dem
Kommando time(1) indem Du z.B. den gesamten Pfadnamen
/usr/bin/time angibst. Dann sollte die Manpage wieder stimmen.
;-)
Beste Grüsse - Jürgen
--
GPG A997BA7A | 87FC DA31 5F00 C885 0DC3 E28F BD0D 4B33 A997 BA7A
Reply to: