Pues sinceramente estoy perdido, ¿será que no funciona en Bash (la página del manual habla demasiado de tcsh)? se supone que podés usar la opción de línea de comandos "-f", pero....
alvaro@AlvLin:~$ time -f
bash: -f: command not found
real 0m0.006s
user 0m0.000s
sys 0m0.006s
'toy perdido
