Chcę uzyskać nieco więcej informacji niż daje standardowe polecenie czasu, więc chcę przekazać flagę pełną. info timepodaje jako przykład time -v sleep 4, jednak gdy wykonam to (zarówno w bash, jak i tcsh), dostaję
% time -v sleep 4
-v: Command not found.
0.000u 0.000s 0:00.00 0.0% 0+0k 0+0io 0pf+0w
Co ja robię źle?