Jens-
Is there any easy way to verify that a file is a MIDI file? We only allow uploads of files for which we can verify that the content matches the file suffix.
The Unix file command supports many file formats, including MIDI files:
moeller@peace:~/projekte/wiki$ file Soundtrack.mid Soundtrack.mid: Standard MIDI data (format 1) using 12 tracks at 1/120 moeller@peace:~/projekte/wiki$ mv Soundtrack.mid xyue3r923 moeller@peace:~/projekte/wiki$ file xyue3r923 xyue3r923: Standard MIDI data (format 1) using 12 tracks at 1/120
file uses header information ("magic numbers") to determine the file type.
Regards,
Erik