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