gnome-shell-extensions

Le
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
Vidéos High-Tech et Jeu Vidéo
Téléchargements
Vos réponses
Gagnez chaque mois un abonnement Premium avec GNT : Inscrivez-vous !
Trier par : date / pertinence
Philippe Marzouk
Le #23987591
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/
Guy Roussin
Le #23987721
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/
J
Le #23988401
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/
Publicité
Poster une réponse
Anonyme