Boosting the Real Time Performance of Gnome Shell 3.34 in Ubuntu 19.10discourse.ubuntu.com1 pointdochtman7 years ago