Intenté redirigir la salida del comando de tiempo, pero no pude:
$time ls > filename
real 0m0.000s
user 0m0.000s
sys 0m0.000s
En el archivo puedo ver la salida del ls
comando, no la de time
. Por favor, explique por qué no pude y cómo hacer esto.