Quel titre à la con, je vous jure. Le premier qui trouve ce que ça veut dire gagne un sushi.

Aujourd'hui, j'ai découvert mp32ogg (le lien est juste là pour faire joli, il est dans vos dépots), qui permet de réencoder sa bibliothèque audio de capitaliste dans le format du peuple, celui qui tue sa mère, vous savez. Bref, c'est tout simple, c'est fortement déconseillé mais ça fait du bien de se la jouer :

$ mp32ogg --delete *

Il se ballade récursivement dans vos sous-dossiers musicales, quand il trouve un mp3, il le dissèque, en sort un ogg et supprime le vieux mp3 (pour les froussards et les imbéciles, retirer --delete). C'est magique et vous pouvez même utiliser time devant pour rigoler, faute de mieux (ça serait encore plus drôle de comparer la taille des fichiers avant et après, mais fallait y penser plutôt, le problème est donc laissé à titre d'exercice pour le lecteur).

17158.41s user 167.59s system 111% cpu 4:17:54.54 total

(pour ~1k fichiers)