Extraí as musicas de um CD usando o Extrator de CDs de áudio "sound juicer" disponível no menu multimídia do FC12. , Tudo perfeito tocando os agora arquivos *ogg. Mas quero gravá-los em pendrive para tocar no rádio de meu carro, que não toca arquivos *ogg, só mesmo *mp3. É claro que posso levar o CD original ou uma cópia para o carro, cujo rádio tb toca CDs. Apenas mais um conforto....
Qual o programa do Fedora para converter *ogg em *mp3 ou então passar direto na extração para mp3.
Pelo google encontrei diversos mas todos arquivos *.exe.

Vamos lá meu caro,

Dê uma olhadinha aqui no GDH, este Tuto é bem legal.
Apesar dos comandos estarem voltados para Debian e o tuto já ter alguns anos, ele continua bem atual http://www.guiadohardware.net/artigos/convertendo-videos-usando-ffmpeg/ ( Não se atenha ao título, é para vídeo e áudio ), acerte os teus repos, caso ainda não o tenha feito, e use o yum.

Como voce pode observar a parada é via de comando, usando ffmpeg ou lame, e é bem facinho.

Boa sorte!!
_________________

òtima dica. O inxcrivel é que eu já tinha usado o lame em épocas imemoriais do Conectiva 6 , Mandrake ou Red Hat 9, por indicação de um site do Zago, e tinha esquecido completamente. Se deixa de anotar ou usar a gente esquece.
Mas só um reparo quanto ao tuto. O comando
$ lame -b 128 -h -m s 202 - Instrumedley.mp3 Instrumedley.mp3
tem um errinho, deveria ser
$ lame -b 128 -h -m s 202 - Instrumedley.wav Instrumedley.mp3
Tb não entendi o parametro 202.