Here’s how to convert an .ogg to .mp3You’ll need:

• sox – Sound eXchange
• libvorbis
• libogg
• lame

and just$ sox file.ogg file.mp3or in batch mode for all files in a dir$ for x in * ; do mv "$x" `echo -n $x | tr " " "_"`; done$ for x in *.ogg ; do sox $x `echo $x|awk -F . '{print $1 ".mp3"}'`; done