Re: Persistent names for audio devices.

[peter@easthope.ca]

    From: Greg Wooledge <greg@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