Re: gnome-shell-extensions

2011-11-21 Par sujet Jérôme
Le lundi 21 novembre 2011 à 07:10 +0100, Philippe Marzouk a écrit : Par contre avec la version experimental, Alternative Status Menu Extension fait planter gnome-shell chez moi. Pas que chez toi (-_-); -- Lisez la FAQ de la liste avant de poser une question :

gnome-shell-extensions

2011-11-20 Par sujet Guy Roussin
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

Re: gnome-shell-extensions

2011-11-20 Par sujet Philippe Marzouk
On Sun, Nov 20, 2011 at 11:03:02PM +0100, Guy Roussin wrote: 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

Re: gnome-shell-extensions

2011-11-20 Par sujet Guy Roussin
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