Paul Barton-Davis wrote:

>    (dd if=/dev/midi00 bs=1 | tee /dev/midi01 | cat - my-midi-session) &
>    csound -M /dev/midi02

(snip)

>         % mkfifo /tmp/csound-midi-fifo
>         % dd if=/dev/midi00 bs=1 | \
>                 tee my-midi-session > /tmp/csound-midi-fifo &
>         % csound -M /tmp/csound-midi-fifo ...

Paul, I haven't tried either of your tee tricks -- no time right now, I
just moved and still haven't unpacked my midi controller -- but I
followed the logic and it seems to me they _should_ work ... except that
won't the midi file created contain no timing information?? It's just a
dump of raw midi data, right? Or am I mistaken? 


-- 

----------------    paul winkler    ------------------
slinkP arts:  music, sound, illustration, design, etc.

zarmzarm@hotmail.com   --or-- slinkp AT ulster DOT net
http://members.tripod.com/~slinkP/

>Paul, I haven't tried either of your tee tricks -- no time right now, I
>just moved and still haven't unpacked my midi controller -- but I
>followed the logic and it seems to me they _should_ work ... except that
>won't the midi file created contain no timing information?? It's just a
>dump of raw midi data, right? Or am I mistaken? 

No, you're correct. It was more a proof of concept than the final
version. If you actually want a standard MIDI file, then I believe
that the best solution is to write miditee, for example, and use
gettimeofday() for timing purposes. Its a pretty easy program to
write, and I would do it this morning, except that I deliberately know
nothing about any of the standard MIDI formats.