This is for Ubuntu GNOME 17.04. Maybe a lot of other versions of Linux as well.
To get the main login menu: CTRL + ALT + F1
To switch to the first logged in user: CTRL + ALT + F2
To switch to the second logged in user: CTRL + ALT + F3
Etc.
Monday, June 5, 2017
Sound Device Chooser
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/
https://extensions.gnome.org/extension/906/sound-output-device-chooser/
-
A beowulf cluster lets me tie miscellaneous computers together and use their cpus like one large processor...I think. Never done this befor... -
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...
-
Notes on the process of installing Kaldi and Kaldi-GStreamer-server on Ubuntu 16.04 LTS. These were modified somewhat, since this is retr...