midi for playing songs

Is there any application you can use to extract midi files and then play them like you would mp3…I tried audacity to convert to mp3 and it doesn’'t support it.

Thank you


Well, you could try VLC. According to this it should support MIDI with the vlc-plugin-fluidsynth, fluid-soundfont-gs and fluid-soundfont-gm packages (you may need to install these).
Alternatively you could try Timidity (it should be in the repos).
With timidity you could convert to mp3 with ffmpeg(in terminal):

timidity input.mid -Ow -o - | ffmpeg -i - -acodec libmp3lame -ab 64k output.mp3