Voici une note pour la toile : script shell pour convertir des Midi en Mp3 avec Linux, Timidity++ et Lame.

#!/bin/sh
outfile=`echo $1 | sed s/.[mM][iI][dD]/.mp3/`
timidity -Ow -o - "$1" | lame - "$outfile"