Eu tenho um arquivo de áudio 3gp gravado no meu celular Android.
Gostaria de convertê-lo para mp3, de preferência no Linux, mas o Windows também é uma opção.
Alguma recomendação?
Enquanto a resposta aceita é boa para uma solução de linha de comando, como alternativa, pode-se usar a ferramenta Gnome Sound Converter simples e baseada em interface do usuário ( soundconverter.org ).
—
Jose Gómez