Twitter iPhone pliant OnePlus 11 PS5 Disney+ Orange Livebox Windows 11

gnome-shell-extensions

3 réponses
Avatar
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 mais
sans succès.

Merci,

Guy

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers debian-user-french-REQUEST@lists.debian.org
En cas de soucis, contactez EN ANGLAIS listmaster@lists.debian.org
Archive: http://lists.debian.org/4EC97916.2020806@teledetection.fr

3 réponses

Avatar
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 !
Comment faire ? J'ai bien bricolé un peu avec gnome-tweak-tool mais
sans succès.




Si tu as installé gnome-tweak-tool et gnome-shell-extensions tu dois
voir dans gnome-tweak-tool dans la partie Shell Extensions tout un tas
d'Extensions que tu peux activer.

Par contre avec la version experimental, "Alternative Status Menu
Extension" fait planter gnome-shell chez moi.

Philippe

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers
En cas de soucis, contactez EN ANGLAIS
Archive: http://lists.debian.org/
Avatar
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 succès.




Si tu as installé gnome-tweak-tool et gnome-shell-extensions tu dois
voir dans gnome-tweak-tool dans la partie Shell Extensions tout un tas
d'Extensions que tu peux activer.


Merci,
C'était visiblement là mon problème, dans gnome-tweak-tool je n'avais
qu'une branche 'Shell Extensions' vide ... avec seulement la possibilité
d'installer des extensions. Et là, ce matin après un reboot, je vois que
la branche s'est remplie de tout un tas d'options possibles.
Merci. Problème résolu donc.
Guy

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers
En cas de soucis, contactez EN ANGLAIS
Archive: http://lists.debian.org/
Avatar
J
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 :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers
En cas de soucis, contactez EN ANGLAIS
Archive: http://lists.debian.org/