GNOME Shell Extensions

Dr.BUg · Le 21/04/2012, à 17:43

Major Grubert a écrit :

Quelle version de gnome as-tu ?

j'ai Gnome 3.2.1
ça viendrait de là ?

neuzy182 · Le 15/07/2012, à 11:54

Bonjour!

Je suis aussi assez séduit par ce système d'extension, ça me fait apprécier Gnome encore un peu plus!

J'ai un truc un peu étrange, j'utilisais l'extension media player, et en passant à pangolin, elle n'était plus compatible. Récemment, il y a une mise à jour disponible, sur le site extensions.gnome.org, mais j'ai beau cliqué, rien ne se passe.
Pareil pour la désinstallation, impossible d'en désinstaller via le site. Comment pourrais-je être sur de trouver le bon dépot PPA? Je ne le trouve pas dans synaptics...
Encore plus étrange, il n'est pas (plus?) dans le dossier local/share/gnome-shell/extensions ! Toutes les autres y sont pourtant...

J'aimais vraiment bien cette extension, quelqu'un aurait une idée?

nominux · Le 15/07/2012, à 13:53

plutot dans usr/share/gnome-shell/extensions

les extensions installées via le site sont dans ton home/local/share/gnome-shell/extensions
celles installées par ppa se retrouvent dans usr/share/gnome-shell/extensions (mais ce ne sont pas des extensions officelles du site)

neuzy182 · Le 15/07/2012, à 14:09

Nope, j'avais été voir aussi, mais elle n'y est pas non plus...

Ca marche chez vous quand vous désinstallez via le site?

willcoyote · Le 15/07/2012, à 14:16

On ne peux pas les désinstaller via le site, on peux juste les désactiver

neuzy182 · Le 15/07/2012, à 14:44

De mon coté, la désactivation web ne semble pas fonctionner, mais bien via l'advanced settings :

Comment peut-il savoir qu'il y a l'extension media player, si elle ne figure pas dans le dossier?

nominux · Le 15/07/2012, à 14:45

oui, chez moi ça marche, on peux désinstaller par le site (dans 'installed extension' la croix rouge a droite du nom) sauf avec les extensions installer autrement, j'ai supprimer manuellement dans usr/share...
es tu sur que ton extension est compatible avec ta version de gnome ?
essaie une recherche de fichiers avec 'media player' pour tenter de retrouver ton extension

neuzy182 · Le 16/07/2012, à 12:02

Trouvé!
Elle se cachait ailleurs... (désolé, j'ai pas noté où... mais peut être "application data") Une fois supprimé en mode root, rien n'avait changé, mais il faut redémarrer gnome (alt+f2 "restart") et là, nickel, il n'était plus là, et j'ai pu le réinstaller, et ca marche nickel!!! Quel plaisir!!!

Dr.BUg · Le 05/01/2013, à 19:38

Purée !

je vois que ce post concernant les extensions de Gnome Shell intéresse vraiment beaucoup de monde

UP !

on est que 10 à les utiliser ou quoi ?

Major Grubert · Le 06/01/2013, à 00:56

C'est quoi la question ?

posted · Le 24/01/2013, à 21:28

Bonjour,

j'ai été modifié la taille des icônes sur la page des applications en allant dans ce ficihier: /usr/share/gnome-shell/theme/gnome-shell.css

à quelle ligne faut-il aller pour modifier aussi la taille des icônes dans le dash?

merci!

Major Grubert · Le 24/01/2013, à 22:51

http://major.grubert.free.fr/index.php? … exposition

posted · Le 26/01/2013, à 14:07

Merci Major,

mais je comprends toujours pas ce que je dois modifier pour changer la taille des icônes sur le dash (barre vertivale où sont les icônes des applications préféres). Par contre, par de problème pour modifier la taille des icônes de toutes les applications (sur la fenêtre semi-transparente qui couvre tout l'écran).
j'espère arriver à bien expliquer ce que je voudrais faire?!
Merci.

Major Grubert · Le 26/01/2013, à 15:40

Ah ok, j'avais mal compris.
Je ne sais pas comment modifier la taille des icônes dans le lanceur !
L'interface les modifie automatiquement mais je pense qu'on doit pouvoir régler ça par dconf mais je ne sais pas où.

Dernière modification par Major Grubert (Le 26/01/2013, à 15:40)

PlapPlop · Le 26/01/2013, à 16:07

gedit /usr/share/gnome-shell/js/ui/dash.js

Cherche "iconSizes", ça devrait être ligne 600. Tu dois avoir :

let iconSizes = [ 16, 22, 24, 32, 48, 64 ];

C'est parmi ces valeurs que Gnome va choisir la taille des icônes. Il part du plus bas et grossit leur taille autant qu'il peut sans dépasser availSize (quelques lignes au-dessus). Après, tout dépend de ce que tu veux faire, les rendre plus petites ou plus grandes ?
Pour les rendre plus petites, tu peux supprimer les valeurs supérieures de la liste iconSizes. Pour les rendre plus grandes, tu peux rajouter des valeurs supérieures à 64. Mais ça doit être sacrément grand. Si jamais tu veux faire ça et que tu as beaucoup d'icônes, il est possible que availSize t'empêche d'augmenter trop la taille. Dans ces cas-là, tu peux vouloir modifier la valeur de availSize (en la multipliant par 2 par exemple). Tu peux enfin rajouter des valeurs intermédiaires à cette liste, par exemple 28, si tu veux quelque chose de vraiment précis.

PS : je n'ai jamais fait cette manip, c'est juste à vu que je te dis ça.

Major Grubert · Le 26/01/2013, à 20:47

Merci pour l'info.
Je vais en faire une astuce pour mon site.

posted · Le 29/01/2013, à 16:14

Merci PlapPlop, c'est exactement ce que je cherchais!
@Mojor: si on ne change pas le fichier indiqué par PlapPlop, plus on rajoute d'icônes, plus il diminue la taille de celles-ci automatiquement.

Lonewolf · Le 31/01/2013, à 10:06

Sinon, l'extension Dash to Dock permet de chosir la taille maxi des icones, la taille de la barre, ...

Ubuntu-fr

Navigation

Liens de recherche

Annonce

#26 Le 21/04/2012, à 17:43

Re : GNOME Shell Extensions

#27 Le 15/07/2012, à 11:54

Re : GNOME Shell Extensions

#28 Le 15/07/2012, à 13:53

Re : GNOME Shell Extensions

#29 Le 15/07/2012, à 14:09

Re : GNOME Shell Extensions

#30 Le 15/07/2012, à 14:16

Re : GNOME Shell Extensions

#31 Le 15/07/2012, à 14:44

Re : GNOME Shell Extensions

#32 Le 15/07/2012, à 14:45

Re : GNOME Shell Extensions

#33 Le 16/07/2012, à 12:02

Re : GNOME Shell Extensions

#34 Le 05/01/2013, à 19:38

Re : GNOME Shell Extensions

#35 Le 06/01/2013, à 00:56

Re : GNOME Shell Extensions

#36 Le 24/01/2013, à 21:28

Re : GNOME Shell Extensions

#37 Le 24/01/2013, à 22:51

Re : GNOME Shell Extensions

#38 Le 26/01/2013, à 14:07

Re : GNOME Shell Extensions

#39 Le 26/01/2013, à 15:40

Re : GNOME Shell Extensions

#40 Le 26/01/2013, à 16:07

Re : GNOME Shell Extensions

#41 Le 26/01/2013, à 20:47

Re : GNOME Shell Extensions

#42 Le 29/01/2013, à 16:14

Re : GNOME Shell Extensions

#43 Le 31/01/2013, à 10:06

Re : GNOME Shell Extensions

Pied de page des forums