Descobri recentemente o SoundConverter, que usei para converter uns ficheiros de ogg para mp3 (eu sei que não é uma conversão muito bonita, mas enfim)... não sei porquê o script do amarok que costumava usar para isso recusou-se a correr e depois de algumas tentativas de o ressuscitar (sem sucesso) optei por procurar uma alternativa, e o SoundConverter foi uma agradável surpresa - é muito prático, muito fácil de usar e faz o serviço impecavelmente. Para ter suporte para mp3 é só necessário instalar o gstreamer-plugins-ugly (no repositorio do livna).