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... -
Here's the source for what I've been working on. Looks like my installation records will have to be updated to account for a diff...
No comments:
Post a Comment