wavtools ... -D /dev/something option

2003-04-02 Thread Alex Perry
I'm running a locally patched version of wavtools that trivially adds the -D option to change device. It defaults to /dev/dsp for backward compatibility. If you are interested in incorporating it into the official package, let me know and I'll make a patch to implement it and file it as a bug

Re: wavtools ... -D /dev/something option

2003-04-02 Thread Colin Watson
On Wed, Apr 02, 2003 at 03:03:15PM -0800, Alex Perry wrote: I'm running a locally patched version of wavtools that trivially adds the -D option to change device. It defaults to /dev/dsp for backward compatibility. If you are interested in incorporating it into the official package, let me