Hi!
I remember there were some midi-utilities, which could perform a few
niceties on MIDIs. They were by Guenther Nagler and linked on the
linux-sound.org site.
This software is old. It consisted of a few commandline tools, each designed
for a specific purpose.
Hope that helps!
Kindest regards
Julien
--------
Music was my first love and it will be my last (John Miles)
======== FIND MY WEB-PROJECT AT: ========
http://ltsb.sourceforge.net
the Linux TextBased Studio guide
======= AND MY PERSONAL PAGES AT: =======
http://www.juliencoder.de