Hoje precisei converter uns arquivos de MP3 para OGG, numa rápida consulta ao mestre Google achei esse linha de comando que faz isso. Para instalar os programas necessário de um:
$ sudo apt-get install mpg321 vorbis-tools
E para fazer a conversão:
$ mpg321 input.mp3 -w raw && oggenc raw -o output.ogg
opa!
Tem um esquema do qual não lembro de inserir no sound juicer uma linha de comando para extrair em mp3. ele já faz o serviço em ogg por padrão, no entanto a velocidade é nojenta (2x ou menos). Essa tua dica é mais rápida?
Fico no aguardo!