Subject: Re: MIDI player
To: Lennart Augustsson <>
From: Soren S. Jorvang <>
List: tech-userlevel
Date: 08/10/1998 17:17:34
On Mon, Aug 10, 1998 at 04:56:45PM +0200, Lennart Augustsson wrote:
> > At least in these two cases, I don't know of any small, clean
> > programs for either task. '> /dev/audio' doesn't really cut it. 
> At least it is possible to play sound files using audioctl

Actually, /dev/audioctl seems to me to be somewhat of a workaround
for the lack of an audio player (but then, /dev/*ctl always
smells of workaround to me). Is there a "real" use for /dev/audioctl
that I haven't thought of?

Also, .wav files (probably the most important format (besides
header-indifferent .au files) to have in a in-tree audio player)
have binary headers which I think gives an audio player plenty