Jak podać argumenty komendzie czasu (ubuntu)

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?

Jeśli wykonasz, timeto (chociaż which timebędziesz twierdził inaczej ...) wykonasz timepolecenie powłoki. Ta wersja nie akceptuje -v. Zamiast tego wykonaj odpowiedni timeplik wykonywalny: ^[źródło]

$ /usr/bin/time -v sleep 4

To zadziała.