midipipe play midi files on the command line and send to available midi devices. midipipe "yourfile.mid" # or cat "yourfile.mid" | midipipe