Bonjour à la communauté.
Entre Gnome 3 et Mate j’ai fini par craquer pour le second.
Me voici avec une Debian 7.5 Wheezy Mate qui fonctionne vraiment très bien. Comme par défaut c’est Gnome 3, ma session sous Mate montre plein de doublons dans les menus.
Comme il est impossible de régler ce problème avec “A la carte” appelé aussi “Menu principal”, voici donc ma requête : comment virer Gnome 3 définitivement pour rétablir les menus ?
Merci pour toute aide future.