Change gnome to xfce

This applies in general to switching DEs.

2 Likes