Хочется посчитать время выполнения команды типа cat file.txt > /dev/null
, выведя его в файл reztime.txt, но такая команда time cat file.txt > /dev/null > reztime.txt
не выводит ничего в reztime.txt. Как это можно исправить (поправив эту же строку, то есть без использования команд типа exec 1>reztime.txt)?