No Debian, uma pesquisa rápida com o aptitude me mostrou os pacotes mp32ogg e dir2ogg. Dê uma olhada, talvez eles façam o que você precisa.
Existe um utilitário de linha de comando para converter mp3s para ogg vorbis que eu possa instalar com o apt-get?
Como alternativa, existe uma extensão para o nginx para que eu possa apontá-lo para um diretório com arquivos mp3 e que ele sirva os arquivos ogg rapidamente?
ffmpeg (ou mais provavelmente a bifurcação avconv se você estiver usando Debian ou Ubuntu - estas instruções devem aplicar-se igualmente a ambos, embora ninguém saiba a que distância elas podem derivar na futuro) deve estar nos repositórios da sua distro.
ffmpeg -i input.mp3 -c:a libvorbis -q:a 4 output.ogg
Para fazer um diretório inteiro cheio de MP3s:
for f in ./*.mp3; do ffmpeg -i "$f" -c:a libvorbis -q:a 4 "${f/%mp3/ogg}"; done
Recursivamente, com find :
find . -type f -name '*.mp3' -exec bash -c 'ffmpeg -i "$0" -c:a libvorbis -q:a 4 "${0/%mp3/ogg}"' '{}' \;
Defina a qualidade de saída ajustando o valor de -q:a : para este codec, o intervalo é de 0 a 10 e o de maior qualidade.
Nas versões anteriores de ffmpeg , talvez seja necessário usar -acodec e -aq em vez de -c:a e -q:a .
É claro que a conversão de um formato com perdas para outro não é ideal; mas tal é a vida.