Se você executar time
(mesmo que which time
afirme o contrário ...), execute o comando time
do shell. Essa versão não aceita -v
. Em vez disso, execute o executável time
adequado: [source]
$ /usr/bin/time -v sleep 4
Isso vai funcionar.