How to convert Real Audio files to MP3

Macosxhints reader bedouin has cooked up a way to
automate conversion of Real Audio tracks to MP3 format. Since there's no sign of the
disharmony between Apple and Real coming to a peaceful end, this tutorial could come in handy to those who want to take their Real-encoded lectures on the road with them via their iPods.

The how-to makes use of free UNIX command line tools and codecs from Real Player, and includes a shell script for automating the conversion process. Thanks, bedouin!