quick change audio output
Currently when I plug the laptop into the tv via HDMI I have to manually switch the audio from analogue stereo to hdmi digital (or whatever) by right-clicking the volume applet, choosing preferences, changing to the hardware tab, scrolling up and down trying to remember which profile to use... it's a hassle. So I want to improve on that. My own efforts got nowhere so I searched and found this forum page . The script itself doesn't work for me ("Sink 9 does not exist") which I'm kind of relieved about because that might have been too easy. It's enough of a lead to show me that a small bash script should do the job though and I've already learned: * that by putting executable files in /usr/local/bin (and doing chown 755 if necessary) they can be run like any other program. * that devices have (at least hdmi has) a status file in their folder that's just a text file listing the device status. Run cat /sys/class/drm/card0-HDMI-A-1/status to see. h...