El archivo que conocemos con extensión .ogg corresponde a un formato de compresión de audio, libre de patentes y abierto, diseñado principalmente para "streaming".
Ahora bien, si queremos convertir un archivo de audio .ogg en .mp3 desde la consola, estos serían los pasos. Abrimos Terminal..
1. Instalamos vorbis-tools y lame: codecs necesarios para comprimir
sudo apt-get install vorbis-tools lame
2. Nos situamos en el directorio, ejemplo: cd Música
3. Copiamos en Terminal
ogg123 -d wav -f - nombre del archivo.ogg | lame - nombre del archivo.mp3
* En nombre del archivo, asignamos el nombre del original y el nombre que queramos del convertido.