Em bash
:
$ type -a time
time is a shell keyword
time is /usr/bin/time
Você chamou time
, porque bash
invocou tempo incorporado à palavra-chave em vez do comando / usr / bin / time externo. A palavra-chave time
incorporada não tem a opção -v
. bash
interpretou que você está chamando construído em time
no comando -v
, causando esse erro.
Tente:
/usr/bin/time -v ls
ou:
command time -v ls