Descobrir tempo de execução do comando

[Renato Sousa]

Boa tarde amigos da lista!

Preciso elaborar um pequeno script que retorna o tempo gasto pelo sistema
para abrir determinada pagina web.
Conheço o comando time que funciona para isso, mas não estou acertando o
redirecionamento.  No manual diz que o comando time retorna as informações
na saida de erros, mas não consigo caputar.
Vejam as execuções :

$ time lynx -dump www.uol.com.br > /dev/null

real 0m0.069s
user 0m0.020s
sys 0m0.012s

$ time lynx -dump www.uol.com.br > /dev/null | grep real

real 0m0.077s
user 0m0.032s
sys 0m0.000s

$ time -o /tmp/teste.txt lynx -dump www.uol.com.br > /dev/null
bash: -o: comando não encontrado

real 0m0.001s
user 0m0.000s
sys 0m0.000s


Como utilizar esse time de forma a poder capturar o retorno?

Abraços,

Renato


[As partes desta mensagem que não continham texto foram removidas]