Existe-t-il un utilitaire de ligne de commande pour convertir les mp3 en ogg vorbis que je peux installer avec apt-get?
Sinon, existe-t-il une extension pour nginx afin que je puisse le pointer vers un répertoire contenant des fichiers mp3 et le faire servir les fichiers ogg à la volée?
Sur Debian, une recherche rapide avec aptitude m'a montré les paquets mp32ogg et dir2ogg. Jetez un oeil, peut-être qu'ils font ce dont vous avez besoin.
ffmpeg(ou plus probablement le fork avconvsi vous utilisez Debian ou Ubuntu - ces instructions devraient s'appliquer également aux deux, bien que personne ne sache à quelle distance ils peuvent dériver à l'avenir) devraient être dans les référentiels de votre distribution.
ffmpeg -i input.mp3 -c:a libvorbis -q:a 4 output.ogg
Pour faire tout un répertoire plein de MP3:
for f in ./*.mp3; do ffmpeg -i "$f" -c:a libvorbis -q:a 4 "${f/%mp3/ogg}"; done
Récursivement, avec find:
find . -type f -name '*.mp3' -exec bash -c 'ffmpeg -i "$0" -c:a libvorbis -q:a 4 "${0/%mp3/ogg}"' '{}' \;
Réglez la qualité de sortie en ajustant la valeur de -q:a: pour ce codec, la plage est 0-10 et plus donne une meilleure qualité.
Sur les anciennes versions de ffmpegvous, besoin d'utiliser -acodecet au -aqlieu de -c:aet -q:a.
Bien sûr, la conversion d'un format avec perte à un autre n'est pas idéale; mais telle est la vie.