Лише невелике запитання щодо програм синхронізації в Linux: команда time дозволяє виміряти час виконання програми:
[ed@lbox200 ~]$ time sleep 1
real 0m1.004s
user 0m0.000s
sys 0m0.004s
Що чудово працює. Але якщо я спробую перенаправити вихід у файл, він не вдається.
[ed@lbox200 ~]$ time sleep 1 > time.txt
real 0m1.004s
user 0m0.001s
sys 0m0.004s
[ed@lbox200 ~]$ cat time.txt
[ed@lbox200 ~]$
Я знаю, що існують інші реалізації часу з опцією -o написати файл, але моє питання стосується команди без цих параметрів.
Будь-які пропозиції ?