Bonsoir,
Depuis hier soir et sans raison apparente si ce n'est une mise à jour automatique, je ne peux plus activer les extensions Gnome. Elles sont toutes grisées dans la fenêtre de paramétrage, ou en passant par le navigateur et
https://extensions.gnome.org/local/, elles sont toutes sur OFF. Lorsque je les passe sur ON, cela n'a aucune incidencec et un rafraîchissement de la page montre que l'action n'a pas d'effet, elles retombent à OFF.
Je n'ai aucune idée de quoi regarder, log ou autre pour gérer ce problème.
Merci pour votre aide.
EDIT du 14/02/18 : Résolu aujourd'hui au démarrage sans explication...
