Personal memo, because I need this so much. On Ubuntu GNOME 17.04, the OS fails to switch between sound devices when I plug in USB headphones. I always have to go into the sound menu in the settings and manually switch. At least this way, it's fewer clicks.
https://extensions.gnome.org/extension/906/sound-output-device-chooser/
-
I still use OpenBSD for my server, so here goes setting up an NFS on it. This is a fantastic resource. Note: if having trouble with the...
-
A beowulf cluster lets me tie miscellaneous computers together and use their cpus like one large processor...I think. Never done this befor... -
Notes on the process of installing Kaldi and Kaldi-GStreamer-server on Ubuntu 16.04 LTS. These were modified somewhat, since this is retr...
No comments:
Post a Comment