dunque, secondo me puoi fare cos?:
installi
Timidity
- Codice: Seleziona tutto
~$ sudo apt-get install timidity
guida installazione timidity - (da seguire fino in fondo)
poi installi soundconverter
- Codice: Seleziona tutto
~$ sudo apt-get install soundconverter
da quanto ho velocemente letto Timidity non esporta i file direttamente in .mp3, ma in altri formati si
quindi potresti esportare i midi in formato .ogg e poi con soundeconverter in .mp3
dalla piccola ricerca che ho fatto questa dovrebbe essere la soluzione pi? semplice (..per non dire l'unica

)