Je n’avais pas fait attention que le sujet “gnome shell cassé” était résolu et me permet donc de poster dans un nouveau sujet.
Bon j’attendais avec impatience la mise à jour qui permettrait un retour à la normale et c’est presque chose faite.
J’eus la bonne surprise ce matin de constater la mise à jour de la libclutter qui me posait problème : libcluttergesture-0.0.2-0
A présent je peux relancer gnome shell via un : gnome-shell --replace, mais celui-ci ne se lance pas en mode normal au démarrage. Je suis obligé de me logguer en mode fallback, puis de le relancer.
une petite idée ?
merci d’avance.