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 lscomando, no la de time. Por favor, explique por qué no pude y cómo hacer esto.