Both .midi and .mid are valid extensions for standard midi formats.
- OS: Ubuntu 18.04.5 LTS, Arch.: x86_64
- MuseScore version (64-bit): 3.2.3+dfsg1-4~ppa1804+1 (Ubuntu bionic/amd64), MuseScore build number not set
- revision: d2d863f
What I did: tried to export to a standard MIDI file. When I set the file extension to .midi
, no file gets written to disk. In fact, it failed silently. Export works when I set the file extension to .mid
. Also fails when I don't write any file extensions.
Comments
3.2.3 is quite outdated. But even in 3.5.0 there's only .mid
Workaround: export to .mid and rename to .midi
Feel free to create a Suggestion in the issue tracker for getting .midi added as a valid extension
Actually this should work, as far as I read the code, so instead is a Suggestion make a Minor bug report...
(I believe I found the culprit too meanwhile, see https://github.com/musescore/MuseScore/pull/6622)
Edit: It'll be fixed in 3.5.1