Timidity is a Linux midi player and converter. If you have a directory of .mid files you can easily convert them to .ogg files with the following command:

timidity -Ov1S *.mid If you want .wav files instead, change the v to a w.