Исправление aol, 24.08.12 09:32 (текущая версия) :
... и никто не сказал самого главного../usr/bin/time -v — prog1 | prog2 > redir
(там два минуса)
Исходная версия aol, 24.08.12 09:31: