Bem, mesmo que você não goste, colocarei você para ler novamente com mais atenção man time
. No final da seção EXAMPLES
, você encontrará:
Users of the bash shell need to use an explicit path in order to run
the external time command and not the shell builtin variant. On system
where time is installed in /usr/bin, the first example would become
/usr/bin/time wc /etc/hosts
Portanto, suponho que você use o bash shell, que usa uma versão interna do shell, com a versão time
. Você pode verificar isso usando o seguinte comando:
type time
e a saída provavelmente será:
time is a shell keyword
Se este for o caso, então, é claro, para usar o comando real time
, você deve usar seu caminho explícito: /usr/bin/time
.
Além disso, se você não quiser mais usar o shell embutido time
, você pode criar um alias permanente como segue:
alias time='/usr/bin/time'
Isto irá sobrescrever o shell embutido time
porque o comando:
type time
fornecerá a seguinte saída agora:
time is aliased to '/usr/bin/time'