GNOME Shell Extensions

Genero · Le 04/12/2011, à 12:20

Bonjour à tous !

[J'espère ne pas faire de doublons on créant ce topic. Si tel est le cas, merci de me le signaler]

Voici un site très intéressant, pour tous les utilisateurs de Gnome-Shell => https://extensions.gnome.org/

Il permet d'activer différentes extensions, pour agrémenter l'utilisation de Gnome-Shell. Certaines sont des reprises de Gnome2, mais d'autres sont totalement nouvelles et inédites ! Pour le moment ce n'est qu'une version Alpha, mais l'ensemble à l'air très prometteur !! De plus, il y a l'air d'avoir des mises à jour régulières. Hier matin il n'y avait que 2 pages, et ce matin il en a 4, avec sont petit lot de nouveautés.

Pour ajouter une extension à votre gestionnaire d'environnement préféré, c'est tout simple, il suffit de cliquer sur le lien que j'ai indiqué plus haut, choisir son extension parmi les nombreuses proposées, puis cliquer sur "On". Ensuite Ubuntu va demander une confirmation d'installation, et hop, le tour est joué ! L'extension est installée et le résultat est visible immédiatement.

Pour gérer toutes ces extensions et les activer/désactiver à votre guise, il faut installer le paquet gnome-tweak-tool. Ce paquet permet également de nombreuses autres personnalisation de Gnome-Shell, qui ont été désactivées par défaut.

Voici un aperçu de mon bureau, avec quelques extensions installées :

Bonne journée à tous !

Source : PcInpact

Dernière modification par Genero (Le 04/12/2011, à 23:16)

LeCelt · Le 04/12/2011, à 16:03

J'avais déjà lu l'info et j'ai fais le test avec une extension et tout s'est bien passée.
Par contre qu'en est-il au niveau de la sécurité de ces extensions (le contenu du code), je pense que c'est vérifié ? et pour les mises à jour éventuelles ?

@+

Merci pour le rappel

Dernière modification par LeCelt (Le 04/12/2011, à 16:07)

A3nigma · Le 04/12/2011, à 16:50

Salut,

Excellent site, fort agréable, cependant pour les utilisateurs de Chrome pas compatible encore, peut-être bien pour la prochaine version de Gnome 3.4.

Alors à suivre sur Firefox à l'heure actuelle, merci en tout cas pour cet apport.

Genero · Le 04/12/2011, à 23:08

LeCelt a écrit :

J'avais déjà lu l'info et j'ai fais le test avec une extension et tout s'est bien passée.
Par contre qu'en est-il au niveau de la sécurité de ces extensions (le contenu du code), je pense que c'est vérifié ? et pour les mises à jour éventuelles ?
@+
Merci pour le rappel

Bonsoir,

Honnêtement, je ne sais pas du tout ce que ça donne niveau sécurité du code. Sinon pour les mises à jour, je pense que cela se fera automatiquement. Finalement ce qui est installé doit être un paquet je pense donc si une mise à jour sort, synaptic préviendra !

malmsteen · Le 12/12/2011, à 11:10

salut
y a t il une extension qui permet de rajouter des raccourcis au lanceur ??
et comment réduire la taille des icônes du lanceur et du dash?
merci

misaine · Le 12/12/2011, à 13:51

malmsteen a écrit :

et comment réduire la taille des icônes du lanceur et du dash?

en modifiant le fichier css du theme gnome-shell
http://www.le-libriste.fr/2011/09/gnome … es-icones/

je n'ai pas compris l'autre question!

Dernière modification par misaine (Le 12/12/2011, à 13:55)

malmsteen · Le 12/12/2011, à 17:02

misaine a écrit :

malmsteen a écrit :
et comment réduire la taille des icônes du lanceur et du dash?
en modifiant le fichier css du theme gnome-shell
http://www.le-libriste.fr/2011/09/gnome … es-icones/
je n'ai pas compris l'autre question!

le lanceur est le bandeau qui se trouve a gauche de l ecran

ca c est sur unity et comme tu vois j ai ajouter des raccourcis comme des jeux que j ai cree moi meme
y a t il un moyen de le faire avec gnom shell ??

Genero · Le 12/12/2011, à 17:44

Bonsoir,

Pour ajouter des raccourcis au lanceur de gauche : clic droit sur l'icône, ajouter aux favoris. Ou sinon tu peux encore rajouter l'extension Dock.

Pour les utilisateurs d'Unity, pour afficher la barre de gauche, il suffit de mettre le curseur dans le coin supérieur gauche.

Bonne soirée.

nominux · Le 12/12/2011, à 19:10

pour completer encore le post de Genero (merci Genero)

-pour désinstaller une extension, https://extensions.gnome.org/local/ (l'onglet "installed extensions") il y a un bouton "uninstall"
-pour les mises a jours, dans l'onglet "about" ( https://extensions.gnome.org/about/ ) tout en bas, il est expliqué que pour le moment ce n'est pas possible mais çà le sera avec gnome 3.4, qu'il faut désinstaller et reinstaller manuellement...

c'est tout pour le moment...

malmsteen · Le 12/12/2011, à 20:09

merci pour les précisions
encore une question qui peut paraître un peut bizarre
pour quoi gnom et pas unity ?
moi je suis plus unity que gnome shell, car unity est plus mure et elle est compatible avec les effets compiz aux quels je me suis habitue, comme la fenetre gilatine qui ne fonctionne pas sur gnome shell et aussi les icônes de panneau d en haut qui sont celles de mon theme, non comme gnome shell qui sont figées high contraste
qu'est ce que gnom shell apporte de plus ?
stabilité? légèreté?

Dr.BUg · Le 18/12/2011, à 10:44

Salut,

j'avais une petite question concernant la différence entre le fait d'installer les extensions via le site https://extensions.gnome.org/ ou en ajoutant un dépot PPA pour synaptic ?
je pense avoir la réponse mais je préfère m'en assurer auprès de la communauté. Les extensions installés via le site arrive dans ~.local/share/gnome-shell/extensions et ne sont donc valable que pour ma session administrateur ! et celles qui se trouvent dans le dépot arrive dans /usr/share/gnome-shell/extensions et sont valable pour tous les utilisateurs !

à pat ça qu'elle est selon vous la meilleur méthode ? merci

AAAA · Le 18/12/2011, à 12:52

Je trouve la deuxième plus souple et efficace (via PPA, toutes ne fonctionnent pas chez moi), bien que certaines extensions ne peuvent être désinstallées facilement (chose qui sera corrigée avec Gnome 3.4 il me semble).

Dernière modification par AAAA (Le 19/12/2011, à 12:11)

Dr.BUg · Le 18/12/2011, à 15:16

Salut,

voici un screenshot du site https://extensions.gnome.org/ avec mes extensions au nombres de 29 ! j'ai privilégié le dépot PPA pour les installer. Seul celle qui ne sont pas dans le dépot sont installés via le site et on les reconnait à l'aide du cercle rouge qui permet de les désinstaller. Mais toutes sont activable/désactivable via le site !

Je tiens à préciser également que l'extension Alternate Tab à plantée Nautilus et que je ne pouvais plus clicker ni sur mon dock ni sur les applications lancés. Il m'a fallu redémarrer en mode unity pour la désisntaller...

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

misaine · Le 18/12/2011, à 20:07

depuis gnome 3.2 il est recommandé de les installer en user et non en root

Genero · Le 18/12/2011, à 21:19

Bonsoir,

Depuis que les extensions sont dispos sur Internet, je ne sais même pas s'il y a besoin des autorisations root pour les installer.

willcoyote · Le 18/12/2011, à 21:23

Genero a écrit :

Bonsoir,
Depuis que les extensions sont dispos sur Internet, je ne sais même pas s'il y a besoin des autorisations root pour les installer.

Vaux mieux pas, pour des raisons de securité
Sinon sur archlinux, je passe de preference par les depots mais j'en ai testé une sur ce site et ça fonctionne

Dr.BUg · Le 20/12/2011, à 00:28

Misaine a écrit :

depuis gnome 3.2 il est recommandé de les installer en user et non en root

donc tu veux dire que l'utilisation des paquets via un dépot n'est pas recommandé ? ben... mais... alors à quoi que ça sert ?

Major Grubert · Le 20/12/2011, à 05:11

Je ne sais pas si l'installation par le site permet de disposer des mises à jour de l'extension ; à vrai dire je suis à peu près sûr que non.
Donc mieux vaut passer par un PPA.
Mais c'est tellement facile par le site de les installer

misaine · Le 20/12/2011, à 05:59

Dr.BUg a écrit :

Misaine a écrit :
depuis gnome 3.2 il est recommandé de les installer en user et non en root
donc tu veux dire que l'utilisation des paquets via un dépot n'est pas recommandé ? ben... mais... alors à quoi que ça sert ?

non , je ne veux pas dire ça.

Genero · Le 24/12/2011, à 13:47

Bonjour à tous !

Pas mal de nouvelles extensions en ce moment !!

Il y en a une qui m'a tapé dans l'oeil et qui est super pratique, surtout pour les nostalgiques de gnome2, et qui évite d'avoir à afficher le "bottom-panel" (l'ancienne barre de tâches) : "Panel-dock". Cela permet d'afficher par de petite miniatures, toutes les fenêtres qui sont ouvertes. Ce petit dock se loge en haut, sur le panel principal. Je trouve cela assez pratique et sympa A noter que le tout est assez paramétrable.

Voilou, bonne journée à tous !

casaubon · Le 29/12/2011, à 19:10

Bonjour a tous!

c'est quelle extension qui permet d'ajouter des icones en haut a gauche a coté de "activites" ? ca m'interesse !! (cf. premier screenshots du premier post)

+

Genero · Le 29/12/2011, à 23:01

Bonsoir,

Voici l'extension en question => https://extensions.gnome.org/extension/ … favorites/

Bonne soirée !

casaubon · Le 30/12/2011, à 14:44

Merci !!

Genero a écrit :

Bonsoir,
Voici l'extension en question => https://extensions.gnome.org/extension/ … favorites/
Bonne soirée !

Dr.BUg · Le 21/04/2012, à 13:07

Salut,

j'ai un problème avec l'extension Cardapio, elle marchait très bien jusqu'à une récente maj de mon système !
je ne sais pas quoi faire... mon menu cardapio n’apparaît plus dans ma barre gnome-shell à coté de Activités, j'ai beau désinstaller et réinstaller rien n'y fait et sur le site https://extensions.gnome.org/ il ne veut pas non plus s'activer. il marchait très bien et y'a un petit malin qu'à décider de le mettre à jour ou je sais pas quoi et ça me prends la tête...

merci pour votre aide

Major Grubert · Le 21/04/2012, à 15:56

Quelle version de gnome as-tu ?

Ubuntu-fr

Navigation

Liens de recherche

Annonce

#1 Le 04/12/2011, à 12:20

GNOME Shell Extensions

#2 Le 04/12/2011, à 16:03

Re : GNOME Shell Extensions

#3 Le 04/12/2011, à 16:50

Re : GNOME Shell Extensions

#4 Le 04/12/2011, à 23:08

Re : GNOME Shell Extensions

#5 Le 12/12/2011, à 11:10

Re : GNOME Shell Extensions

#6 Le 12/12/2011, à 13:51

Re : GNOME Shell Extensions

#7 Le 12/12/2011, à 17:02

Re : GNOME Shell Extensions

#8 Le 12/12/2011, à 17:44

Re : GNOME Shell Extensions

#9 Le 12/12/2011, à 19:10

Re : GNOME Shell Extensions

#10 Le 12/12/2011, à 20:09

Re : GNOME Shell Extensions

#11 Le 18/12/2011, à 10:44

Re : GNOME Shell Extensions

#12 Le 18/12/2011, à 12:52

Re : GNOME Shell Extensions

#13 Le 18/12/2011, à 15:16

Re : GNOME Shell Extensions

#14 Le 18/12/2011, à 20:07

Re : GNOME Shell Extensions

#15 Le 18/12/2011, à 21:19

Re : GNOME Shell Extensions

#16 Le 18/12/2011, à 21:23

Re : GNOME Shell Extensions

#17 Le 20/12/2011, à 00:28

Re : GNOME Shell Extensions

#18 Le 20/12/2011, à 05:11

Re : GNOME Shell Extensions

#19 Le 20/12/2011, à 05:59

Re : GNOME Shell Extensions

#20 Le 24/12/2011, à 13:47

Re : GNOME Shell Extensions

#21 Le 29/12/2011, à 19:10

Re : GNOME Shell Extensions

#22 Le 29/12/2011, à 23:01

Re : GNOME Shell Extensions

#23 Le 30/12/2011, à 14:44

Re : GNOME Shell Extensions

#24 Le 21/04/2012, à 13:07

Re : GNOME Shell Extensions

#25 Le 21/04/2012, à 15:56

Re : GNOME Shell Extensions

Pied de page des forums