Contenu | Rechercher | Menus

Annonce

Si vous rencontrez des soucis à rester connecté sur le forum (ou si vous avez perdu votre mot de passe) déconnectez-vous et reconnectez-vous depuis cette page, en cochant la case "Me connecter automatiquement lors de mes prochaines visites". Attention, le forum rencontre actuellement quelques difficultés. En cas d'erreur 502, il ne faut pas re-valider l'envoi d'un message ou l'ouverture d'une discussion, au risque de créer un doublon.

La section divers se réorganise ! De nouvelles sous-sections à venir. (plus d'infos + donner son avis)

#26 Le 08/10/2011, à 14:08

delta01

Re : gnome-shell-extensions avec Ubuntu

Je trouve dommage qu'elles ne soient pas dans les dépôts. Sur Fedora un simple yum install gnome-shell-extension-* installe toutes les extensions =/


ArchLinux & Ubuntu user.

Hors ligne

#27 Le 26/11/2011, à 22:57

plante_ca

Re : gnome-shell-extensions avec Ubuntu

@FredBx

J'ai un problème avec Gnome 3.  J'avais l'habitude d'éteindre mon ordi en faisant ALT sur Mise en veille  pour obtenir le sous menu Redemarrer    Eteindre....
Hors depuis quelques jours, ALT ne fonctionne plus !!!
Donc j'ai cherche à installer les extensions de gnome-shell tel que tu le décrit précédemment...
J'ai donc réalisé chacune des commandes suggérées.
J'ai alors dans mon répertoire un fichier Gnome-Shell-Extensions qui semble contenir toutes les extensions décrites...
je réalise aussi la commande:
./autogen.sh --prefix=/usr --enable-extensions="alternative-status-menu"
MAIS
le make install  me donne des erreurs
j'ai fait plutôt sudo make install   qui semble agir !!!
Lorsque je fais : gnome-tweak-tool

Il n'y a pas d'extensions d'installées !

Tu peux m'aider

Dernière modification par plante_ca (Le 27/11/2011, à 00:14)

Hors ligne

#28 Le 29/11/2011, à 21:29

Zegrenel

Re : gnome-shell-extensions avec Ubuntu

Bonsoir,

Si ça peut aider quelqu'un, il existe un dépôt et de l'aide concernant les extensions Gnome Shell  ici:

http://www.le-libriste.fr/2011/10/insta … ntu-11-10/

Dernière modification par Zegrenel (Le 29/11/2011, à 21:30)


Fedora 17  [Intel coreI5 2500k/Asus P8H61-M PRO (REV3.0)]
ArchLinux [AMD Athlon Xp 3000+/ KM400/ Radeon HD3450]

Hors ligne

#29 Le 29/11/2011, à 23:00

DjDeViL

Re : gnome-shell-extensions avec Ubuntu

Zegrenel a écrit :

Bonsoir,

Si ça peut aider quelqu'un, il existe un dépôt et de l'aide concernant les extensions Gnome Shell  ici:

http://www.le-libriste.fr/2011/10/insta … ntu-11-10/

Excellent merci big_smile

Hors ligne

#30 Le 30/11/2011, à 16:07

plante_ca

Re : gnome-shell-extensions avec Ubuntu

Merci Zegrenel

Tout a bien fonctionné.................


Il reste ceci...
Lors du lancement de :  gnome-tweak-tool

J'obtiens plusieurs lignes de l'erreur suivante:

(gnome-tweak-tool:6726): Gtk-CRITICAL **: gtk_widget_get_preferred_height_for_width: assertion `width >= 0' failed

???????????

Dernière modification par plante_ca (Le 30/11/2011, à 16:10)

Hors ligne

#31 Le 30/11/2011, à 18:07

stantor

Re : gnome-shell-extensions avec Ubuntu

Je sais pas comment vous faites, mais depuis que j'essais ( une semaine) j'ai toujours ce message: "Impossible de trouver le paquet gnome-shell-extensions-alternative-status-menu
".

Hors ligne

#32 Le 18/12/2011, à 10:28

Dr.BUg

Re : gnome-shell-extensions avec Ubuntu

stantor a écrit :

Je sais pas comment vous faites, mais depuis que j'essais ( une semaine) j'ai toujours ce message: "Impossible de trouver le paquet gnome-shell-extensions-alternative-status-menu".

normal, il y'a 2 méthodes pour obtenir les gnome-shell extensions :

1) en allant sur le site https://extensions.gnome.org/ qui contient régulièrement de nouvelles extensions mais qui pour l'instant ne se font pas automatiquement du fait que pour l'instant ubuntu 11.10 est en gnome 3.2

2) en ajoutant le dépot https://launchpad.net/~webupd8team/+archive/unstable ainsi que sa clé de sécurité afin d'obtenir une "autre" liste d'extensions dans synaptic dans laquelle tu trouvera notamment gnome-shell-extensions-alternative-status-menu wink


p.s. gnome-shell-extensions-alternative-status-menu figure sur le site https://extensions.gnome.org/ donc tu ne devrais pas avoir de problème pour l'installer wink

Dernière modification par Dr.BUg (Le 18/12/2011, à 10:32)


Bonjour chez vous !

Ubuntu 14.04 LTS (Gnome Shell) - Phenom II X4 955 - 6Go DDR3 - Gigabyte GA-890GPA-UD3H - GeForce GTX560

Hors ligne

Haut de page ↑