Wie kann ich dem Befehl time (ubuntu) Argumente geben?

20

Ich möchte ein bisschen mehr Informationen erhalten, als der Standard-Zeitbefehl angibt, also möchte ich das Verbose-Flag übergeben. info timeAls Beispiel time -v sleep 4gibt es jedoch, wenn ich das ausführe (sowohl in bash als auch in tcsh), was ich bekomme

% time -v sleep 4
-v: Command not found.
0.000u 0.000s 0:00.00 0.0%  0+0k 0+0io 0pf+0w

Was mache ich falsch?

Peter Smit
quelle

Antworten:

38

Wenn Sie timedann ausführen (obwohl dies which timeanders behauptet wird ...), führen Sie den timeBefehl der Shell aus. Diese Version akzeptiert nicht -v. Führen Sie stattdessen die richtige timeausführbare Datei aus: [source]

$ /usr/bin/time -v sleep 4

Das wird funktionieren.

Stephan202
quelle