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