Небольшой вопрос о синхронизации программ в 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 для записи файла, но мой вопрос касается команды без этих опций.
Какие-либо предложения ?