From: Greg Wooledge <g...@wooledge.org>
Date: Tue, 28 Sep 2021 13:32:02 -0400
> Are you in csh/tcsh?
I haven't set a shell. According to https://wiki.debian.org/Shell
it's bash.
> If you're in a more "normal" shell (bash or zsh),
> that set command doesn't do anything useful. Certainly nothing that
> would affect the play command.
Now that there is only one internal sound device this seems right.
play a42.WAV
> ... "set" sets shell
> variables, and you need "setenv" to set environment variables (which
> could conceivably affect the play command).
If the sound card is replaced, will try this sort of thing.
setenv AUDIODEV=plughw:CARD=ICH5,DEV=0 ; play a42.WAV
with present /dev/ names I guess something similar to this is out of
the question.
sox a42.WAV /dev/snd/blaaaa
Device names are used for storage devices and for network adapters.
Why not for sound devices?
I expected to find relevant examples in a manual page or wiki page. No
such luck. Sorry to repeat but documentation needs attention.
Thanks, ... P.
--
48.7693 N 123.3053 W
mobile: +1 778 951 5147
VoIP: +1 604 670 0140
