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