Time komutuna nasıl bağımsız değişken verebilirim (ubuntu)

Standart zaman komutunun verdiğinden biraz daha fazla bilgi almak istiyorum, bu yüzden ayrıntılı bayrağı geçmek istiyorum. info timeörnek olarak verir time -v sleep 4, ancak bunu yaptığımda (bash veya tcsh'de)

% time -v sleep 4
-v: Command not found.
0.000u 0.000s 0:00.00 0.0%  0+0k 0+0io 0pf+0w

Neyi yanlış yapıyorum?

Eğer yürütürseniz time( which timeaksini iddia ederse bile ...) timekabuğun komutunu yürütürsünüz. Bu sürüm kabul etmiyor -v. Bunun yerine, uygun timeyürütülebilir dosyayı yürütün : ^[source]

$ /usr/bin/time -v sleep 4

İşe yarayacak.