I need a way to replace HTML ASCII codes like !
with their correct character in Bash.
Is there a utility I could run my output through to do this, or something along those lines?
$ echo '!' | recode html/.. ! $ echo '<∞>' | recode html/.. <∞>