Re: Comando time: redirecionamento para um arquivo de saida

[Reinaldo Marques de Lima]

Cara, creio que nenhuma das formas de redirecionamento funcionem para
esse caso, pois pelos testes que eu fiz aqui, nem com pipe eu consegui
tratar a saida.

A solução que você apresentou parece ser bem pratica e de facil
entendimento, existe algum inconveniente para que você não queira
usa-la ou você estava perguntando pelo redirecionamento somente por
didatica?

[]'s

--- Em address@hidden, "aaa_leonardo"
<aaa.leonardo@g...> escreveu
>
> Olá, pessoal.
> 
> Faço parte da lista desde outubro de 2005, e estive lendo durante esse
> tempo todas as mensagens diárias (email de compilação) do grupo. É a
> primeira vez que posto alguma dúvida aqui. Espero contribuir com essa
> lista, embora agora esteja muito mais na condição de aprender do que
> ajudar. Prefácio dito, vamos à questão.
> 
> Eu gostaria de usando um operador de redirecionamento, redirecionar a
> saída do comando time para algum arquivo de saída. Exemplo:
> 
> $time wc /etc/fstab > arquivodesaida
> não funciona porque o que é redirecionado é a saída do comando "wc
> /etc/fstab" e não de "time wc /etc/fstab".
> 
> Consegui tal efeito com:
> $/usr/bin/time -p -o arquivodesaida wc /etc/fstab
> 
> Gostaria de saber se existe algum outro jeito de fazer isso, pois
> gostaria de redirecionar a saída do comando "time" através de
> operadores de redirecionamento, ao ínves de usar uma "sintaxe" interna
> do comando "time".
> Tentei fazer isso utilizando proteção de variáveis, echo "", etc
> (vários testes) mas não consegui. Também pesquisei no histórico do
> grupo por "time" e não encontrei nada específico a essa questão. O
> Google, sempre amigo, também não deu muito certo. Então, recorro à
vocês.
> Ah, e se alguém tiver alguma idéia da "confiabilidade" da medição de
> time e os principais problemas enfrentados em relação a isso, também
> ficaria grato.
> 
> Saudações,
> 
> Leonardo Andrade.
>