Comando time [RESOLVIDO]

g_s.lima
(usa Ubuntu)

Enviado em 14/07/2010 - 22:19h

Como utilizar as opções do comando time? A sintaxe no manual é a seguinte:

time [ -apqvV ] [ -f FORMAT ] [ -o FILE ] [ --append ] [ --verbose ] [ --quiet ] [ --portability ] [ --format=FORMAT ] [ --output=FILE ] [ --version ] [ --help ] COMMAND [ ARGS ]

eu tentei executar o seguinte para testar

time -o teste ls

com o objetivo de gravar o resultado num arquivo texto "teste". O problema é que ele retorna a mensagem:

-o: command not found

ou seja, ele não enxerga a opção. O que eu faço?

Obrigado.

signout
(usa Slackware)

Enviado em 15/07/2010 - 08:13h

Boas...

Trecho do man

"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"

Resumindo, voce deve localizar o comando time "which time" e usar o caminho completo

/usr/bin/time -o teste ls

Espero que ajude.
[]s

g_s.lima
(usa Ubuntu)

Enviado em 17/07/2010 - 11:54h

É isso mesmo signout, eu testei e o problema era esse. Eu digitei:

/usr/bin/time -o teste ls

e deu certo. Eu não imaginei ser esse o problema porque o time funcionou. O problema foi com as opções.

Obrigado.