Bonsoir, Je découvre gnome3 et gnome-shell depuis quelques heures sur une debian sid (avec un peu d'expérimental).J'ai installé le paquet gnome-shell-extensions (experimental). Maintenant j'aimerai les activer ces extensions !
Comment faire ? J'ai bien bricolé un peu avec gnome-tweak-tool mais sans succès. Merci, Guy