Gerhard Brauer <[EMAIL PROTECTED]> 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


-- 
Haeufig gestellte Fragen und Antworten (FAQ): 
http://www.de.debian.org/debian-user-german-FAQ/

Zum AUSTRAGEN schicken Sie eine Mail an [EMAIL PROTECTED]
mit dem Subject "unsubscribe". Probleme? Mail an [EMAIL PROTECTED] (engl)

Antwort per Email an