Estou tentando reproduzir um arquivo MIDI no Linux Mint 18 Cinnamon. Eu apenas abro o arquivo MIDI com qualquer player de música e ele diz que requer um plugin chamado gstreamer1.0-plugins-bad , então eu clico em "Install" e nada acontece , o jogador não pode reproduzir o arquivo MIDI.
Eu tentei instalar o plugin usando o apt-get install gstreamer1.0-plugins-bad mas ele diz que gstreamer1.0-plugins-bad já é a versão mais recente (1.8.2 -1ubuntu0.1) .
Qualquer reprodutor de música (incluindo o aplicativo "Vídeo") diz que precisa desse plug-in toda vez que eu tento reproduzir um arquivo MIDI, então nada acontece.
OS: Linux Mint 18 Canela 64 bits; Versão canela: 3.0.7; Versão do kernel: 4.4.0-38-generic.
Alguma ideia?
Edit: O que eu preciso é reproduzir um arquivo MIDI usando qualquer player de áudio, eu sei que há VLC e seu próprio plugin que pode reproduzir arquivos MIDI por conta própria, mas o que eu preciso é reproduzir um arquivo MIDI usando por ex. Banshee, Vídeo ou um software profissional de produção de áudio através de um plugin do sistema.
Até onde eu lembro, você precisa carregar o arquivo MIDI (do instrumento certo). Este arquivo gera o arquivo wave a partir da notação digital MIDI. Em tempos antigos, esse arquivo era proprietário (e com qualidade diferente entre fornecedores) e distribuído com o hardware. Agora existem arquivos abertos, mas você precisa selecionar o tipo de instrumento que deseja e reproduzi-lo.