Le (ex-totem?) Lecteur vidéo propose l'installation de gstreamer1.0-plugins-bad
, mais après l'installation il n'y a pas de lecture, rien. Lorsque j'essaie d'ouvrir à nouveau le fichier .midi, le lecteur vidéo revient à plusieurs reprises avec l'installation. Donc je suppose que ce n'est pas le bon paquet.
MISE À JOUR: Rythmbox n'est pas configuré pour lire les fichiers .midi non plus.