(Ex-totem?) Видеоплеер предлагает установку gstreamer1.0-plugins-bad
, но после установки нет воспроизведения, ничего. Когда я снова пытаюсь открыть файл .midi, видеопроигрыватель снова и снова запускает установку. Так что, думаю, это не тот пакет.
ОБНОВЛЕНИЕ: Rythmbox также не настроен для воспроизведения файлов .midi.