Como posso dar argumentos ao comando time (ubuntu)?

17

Eu quero obter um pouco mais de informação do que o comando da hora padrão, então eu quero passar a bandeira detalhada. info time dá como exemplo time -v sleep 4 , porém quando eu executo isso (tanto no bash quanto no tcsh) eu obtenho

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

O que estou fazendo de errado?

    
por Peter Smit 23.02.2010 / 11:40

1 resposta

31

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.

    
por 23.02.2010 / 12:00