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.
Eso es todo, he tenido que convertir algunos archivos a mp3, así que les dejo esto por aquí.
