Как записать результат time в файл?

[amaaykts]

делаю следующее time cp /mnt/tmp/* /mnt/distrib/ - в консоли получаю время
Хочу поместить время выполнения в файл time.txt

[Дмитрий Бо]

{ cp /mnt/tmp/* /mnt/distrib/; } 2> time.txt

занятно, что в man time есть опция на этот счёт, но по факту она валит time с ошибкой.

[amaaykts]

так сработало
(time cp /mnt/tmp/* /mnt/distrib/) 2> file.txt

[Дмитрий Бо]

Вообще, http://stackoverflow.com/questions/13356628/is-there-a-way-to-redirect-time-output-to-file-in-linux

Кстати, понял почему

в man time есть опция на этот счёт, но по факту она валит time с ошибкой.

- потому что это был встроенный башевский time, а не \time