El reproductor de video (¿ex-tótem?) Propone la instalación de gstreamer1.0-plugins-bad
, pero después de la instalación no hay reproducción, nada. Cuando intento abrir el archivo .midi nuevamente, el reproductor de video aparece con la instalación una y otra vez. Entonces, supongo, este no es el paquete correcto.
ACTUALIZACIÓN: Rythmbox tampoco está configurado para reproducir archivos .midi.