Я хочу получить немного больше информации, чем дает стандартная команда времени, поэтому я хочу передать подробный флаг. info time
дает в качестве примера time -v sleep 4
, однако когда я выполняю это (как в bash, так и в tcsh), я получаю
% time -v sleep 4
-v: Command not found.
0.000u 0.000s 0:00.00 0.0% 0+0k 0+0io 0pf+0w
Что я делаю неправильно?