Re: time und tee und Parameter
Gruesse!
* Juergen Salk <juergen.salk@gmx.de> schrieb am [02.04.04 16:14]:
> 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.
>
> ;-)
Ahgrr... ;-) Danke dir. Irgendwann vor längerer Zeit bin ich glaube ich
schon mal darauf reingefallen :-(
Das wird jetzt notiert.
> Beste Grüsse - Jürgen
Gruß
Gerhard
Reply to: