Haven't booted into gnome shell ever. I can install and try if you like On Nov 18, 2018 23:16, "Daniel van Vugt"