Comment puis-je donner des arguments à la commande de temps (ubuntu)

Je veux obtenir un peu plus d'informations que la commande d'heure standard, donc je veux passer le drapeau détaillé. info timedonne comme exemple time -v sleep 4, cependant quand j'exécute ça (à la fois en bash ou en tcsh) j'obtiens

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

Qu'est-ce que je fais mal?

Si vous exécutez timealors (même si vous which timeaffirmerez le contraire ...) vous exécutez la timecommande du shell. Cette version n'accepte pas -v. À la place, exécutez l' timeexécutable approprié : ^[source]

$ /usr/bin/time -v sleep 4

Ça marchera.