Próbowałem przekierować dane wyjściowe polecenia czasu, ale nie mogłem:
$time ls > filename
real 0m0.000s
user 0m0.000s
sys 0m0.000s
W pliku widzę dane wyjściowe ls
polecenia, a nie time
. Proszę wyjaśnij, dlaczego nie mogłem i jak to zrobić.