Re: .mid Instead of .midi

[Jan Nieuwenhuizen]

Will Oram <address@hidden> writes:

> Is there a way to automate the output to .mid so I don't have to do this
> manually?

You can 'automate' renaming afterwards.  Make a script my-ly2dvi as
below, stick it in your ~/bin directory and make it executable:

#!/bin/bash
# my-ly2dvi - rename midi files for broken applications

ly2dvi "$@"
echo "Fixing .midi files..."
for i in $(ls -1 *.midi); do mv "$i" $(basename "$i" .midi).MID; done


-- 
Jan Nieuwenhuizen <address@hidden> | GNU LilyPond - The music typesetter
http://www.xs4all.nl/~jantien       | http://www.lilypond.org