wget; substituir simbolos das paginas baixadas.

[Thiago Argolo]

Olá Pessoal,

Com o wget é possivel tratar o conteudo html da pagina baixada? Por exemplo:

A página baixada com wget o código fonte vem assim:
Data da última atualização:

Se for salvo direto do navegador o código fonte vem assim:
Data da última atualização:
Caso não, existe outro comando?

A única forma que achei foi pegando uma tabela com "Entidades de Caracteres
Nomeadas", onde consta o símbolo e o nome. Achava os existentes no arquivo
html, pegava o caracter corespondente na tabela e fazia a alteração... Mas
acho que deva existir uma alternativa mais simples!!


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