Просто вопрос о программах синхронизации в Linux: команда времени позволяет измерьте время выполнения программы:
[[email protected] ~]$ time sleep 1
real 0m1.004s
user 0m0.000s
sys 0m0.004s
Что отлично работает. Но если я попытаюсь перенаправить вывод в файл, он терпит неудачу.
[[email protected] ~]$ time sleep 1 > time.txt
real 0m1.004s
user 0m0.001s
sys 0m0.004s
[[email protected] ~]$ cat time.txt
[[email protected] ~]$
Я знаю, что есть другие реализации времени с опцией -o для записи файла, но мой вопрос касается команды без этих параметров.
Любые предложения?