Re: translate html codes to ascii chars

tomekl wrote:

> Hello!
> 
> I need to replace html codes with ascii chars, so for
> 
> 'IJaaaaK'
> 
> output should be:
> 
> 'IJaaaaK'

Don't know whether that can be done with awk, however if you have recode:

$ echo 'IJaaaaK' | recode "$type"

where $type is an appropriate value for your HTML input (for example h1,
but
see the man for details).

$ echo '<p>&#73;&#74;aaaa&#75;</p>' | recode h1
<p>IJaaaaK</p>

-- 
All the commands are tested with bash and GNU tools, so they may use
nonstandard features. I try to mention when something is nonstandard (if
I'm aware of that), but I may miss something. Corrections are welcome.