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
Cette action est irreversible, confirmez la suppression du commentaire ?
Signaler le commentaire
Veuillez sélectionner un problème
Nudité
Violence
Harcèlement
Fraude
Vente illégale
Discours haineux
Terrorisme
Autre
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/
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 debian-user-french-REQUEST@lists.debian.org
En cas de soucis, contactez EN ANGLAIS listmaster@lists.debian.org
Archive: http://lists.debian.org/20111121061054.GB24275@ozigo.org
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
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/
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 debian-user-french-REQUEST@lists.debian.org
En cas de soucis, contactez EN ANGLAIS listmaster@lists.debian.org
Archive: http://lists.debian.org/4EC9FF12.1000400@teledetection.fr
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 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/
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 debian-user-french-REQUEST@lists.debian.org
En cas de soucis, contactez EN ANGLAIS listmaster@lists.debian.org
Archive: http://lists.debian.org/1321876602.2833.26.camel@jd
