Convertir des fichiers MIDI...

Timidity, la boîte à outil linuxienne relative aux fichiers MIDI arrive à notre rescousse.

timidity -Ow *.mid

va créer tous les fichiers WAV correspondants.

Et ensuite, on peut utiliser l'outil de son choix pour les conversions, par exemple :

ffmpeg -i fichier.wav fichier.mp3

Si on souhaite traiter tous les fichiers d'un dossier, la variante de la ligne de commande sera :

for file in *.wav; do `ffmpeg -i "$file" "$file.mp3"`;done

Que du bonheur la ligne de commande !