www.rebelschemes.net

mpg123 is a console mpeg player and decoder: http://www.mpg123.de/

This converts all the mp3 files in a directory to wavs:

 for i in *.mp3; do mpg123 -w "`basename "$i" .mp3`".wav "$i"; done