Solo una pequeña pregunta sobre los programas de temporización en Linux: el comando time permite medir el tiempo de ejecución de un programa:
[ed@lbox200 ~]$ time sleep 1
real 0m1.004s
user 0m0.000s
sys 0m0.004s
Que funciona bien. Pero si trato de redirigir la salida a un archivo, falla.
[ed@lbox200 ~]$ time sleep 1 > time.txt
real 0m1.004s
user 0m0.001s
sys 0m0.004s
[ed@lbox200 ~]$ cat time.txt
[ed@lbox200 ~]$
Sé que hay otras implementaciones de tiempo con la opción -o para escribir un archivo, pero mi pregunta es sobre el comando sin esas opciones.
Alguna sugerencia ?