Ubuntu-fr

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.

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, à 01:14)

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, à 22:30)

---

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

DjDeViL

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/

Excellent merci

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, à 17:10)

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
".

Dr.BUg

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".

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

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

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

---

Bonjour chez vous !

Ubuntu 20.04 LTS (Gnome) - Intel Core I5 6400 - 8go DDR4 - Gigabyte G1 SNIPER B7 - GeForce GTX970
Ubuntu 22.04 LTS - AMD Ryzen 5600G - 16Go DDR4 - Gigabyte B550M DS3H