Małe pytanie dotyczące programów czasowych w systemie Linux: komenda time pozwala zmierzyć czas wykonywania programu:
[ed@lbox200 ~]$ time sleep 1
real 0m1.004s
user 0m0.000s
sys 0m0.004s
Które działa dobrze. Ale jeśli spróbuję przekierować dane wyjściowe do pliku, nie powiedzie się.
[ed@lbox200 ~]$ time sleep 1 > time.txt
real 0m1.004s
user 0m0.001s
sys 0m0.004s
[ed@lbox200 ~]$ cat time.txt
[ed@lbox200 ~]$
Wiem, że istnieją inne implementacje czasu z opcją -o do napisania pliku, ale moje pytanie dotyczy polecenia bez tych opcji.
Jakieś sugestie ?