Change default MIDI file extension to '.mid'

2015-01-05 Thread Davide Liessi
Dear all, many programs that can read MIDI accept both '.mid' and '.midi' as file name extension, however many other programs only accept '.mid'. The only noteworthy reference I could find online is http://www.midi.org/aboutmidi/tut_midifiles.php where they explicitly say that «the PC file

Re: Change default MIDI file extension to '.mid'

2015-01-05 Thread Davide Liessi
Il 05/01/15 13.34, David Kastrup ha scritto: .mid happens to be also Map Interchange Data. I didn't know about this. Which programs are many other programs, under which systems? I'm sorry, I actually meant to write some instead of many. The ones I can test right now are REAPER all versions

Re: Change default MIDI file extension to '.mid'

2015-01-05 Thread David Kastrup
Davide Liessi davide.lie...@gmail.com writes: Dear all, many programs that can read MIDI accept both '.mid' and '.midi' as file name extension, however many other programs only accept '.mid'. The only noteworthy reference I could find online is

Re: Change default MIDI file extension to '.mid'

2015-01-05 Thread Phil Holmes
- Original Message - From: Davide Liessi davide.lie...@gmail.com To: lilypond-devel@gnu.org Sent: Monday, January 05, 2015 12:02 PM Subject: Change default MIDI file extension to '.mid' Dear all, many programs that can read MIDI accept both '.mid' and '.midi' as file name extension

Re: Change default MIDI file extension to '.mid'

2015-01-05 Thread Davide Liessi
Il 05/01/15 15.35, Phil Holmes ha scritto: This is the default on my Windows Vista PC system. Don't know why, but that's what appears when I create midi output. Apparently I got many things wrong with my message. :) I had a look in the code and in scm/lily.scm midi-extension is set to 'mid'

Re: Change default MIDI file extension to '.mid'

2015-01-05 Thread Henning Hraban Ramm
Am 2015-01-05 um 18:34 schrieb David Kastrup d...@gnu.org: Ambivalent at best. What is the actual problem case we are talking about? Which programs are many other programs, under which systems? Without personal settings, OSX (and Safari on OSX) knows to play only .mid, not .midi.

Re: Change default MIDI file extension to '.mid'

2015-01-05 Thread Trevor Daniels
Phil Holmes wrote Monday, January 05, 2015 2:35 PM From: Davide Liessi davide.lie...@gmail.com I think that LilyPond should use the most widely accepted '.mid' as default extension for the MIDI files it produces, instead of current '.midi'. This is the default on my Windows Vista PC