Eu li as páginas de manual e a opção '-v' (abreviação de --verbose) está lá e tenho certeza de que deve funcionar:
time -v ls
No entanto, a saída é:
-v: Command not found.
0.000u 0.000s 0:00.00 0.0% 0+0k 0+0io 0pf+0w
Digitei o comando de acordo com as páginas de manual na ordem de 'comando de argumento(s) de tempo'. Não consigo ver onde cometi um erro aqui.
Responder1
Em bash:
$ type -a time
time is a shell keyword
time is /usr/bin/time
Você ligou time, porque bashinvocoutempopalavra-chave incorporada em vez de externa/usr/bin/horacomando. timeA palavra-chave incorporada não tem opção -v. bashinterpretou que você estava chamando o timecomando interno -v, causando esse erro.
Tentar:
/usr/bin/time -v ls
ou:
command time -v ls