Re: [CentOS] gnome-shell killing KDE