время - это встроенная оболочка, и я не уверен, есть ли способ перенаправить ее. Однако вы можете использовать
/usr/bin/time вместо этого, которые определенно согласуют любые перенаправления вывода.
Ответ 5
Если вы не хотите смешивать вывод из time и команды.
С GNU-временем вы можете использовать -o file как:
/usr/bin/time -o tim grep -e k /tmp 1>out 2>err
while tim выводится время, out и err являются stdout и stderr из grep.