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