Quiero obtener un poco más de información de la que da el comando de tiempo estándar, por lo que quiero pasar la bandera detallada. info time
da como ejemplo time -v sleep 4
, sin embargo, cuando ejecuto eso (tanto en bash o tcsh) obtengo
% time -v sleep 4
-v: Command not found.
0.000u 0.000s 0:00.00 0.0% 0+0k 0+0io 0pf+0w
¿Qué estoy haciendo mal?