Les extensions arrivent sur GNOME Shell
écrites en JavaScript et CSS, elles s'installent à partir du navigateur
Le 2011-12-06 14:07:15, par Idelways, Expert éminent sénior
La communauté de l'environnement de bureau Gnome s'organise et se met à la mode des galeries d'applications.
Les mainteneurs du projet annoncent les GNOME Shell Extensions, ces « petits bouts de code, écrits par des développeurs tiers modifiant le fonctionnement de GNOME. » Des extensions qui s'installent à partir d'une galerie en ligne, tout comme pour Firefox ou Chrome !
Ces extensions sont maintenues par leurs développeurs sans forcément impliquer la communauté. Elles peuvent cependant constituer un moyen de prototypage pour les futures fonctionnalités de GNOME, explique Jasper St Pierre sur l'annonce de cette galerie.
Le projet est disponible en version « alpha publique » et permet aux utilisateurs sous GNOME 3.2 d'installer les extensions directement depuis le navigateur. Le plug-in GNOME Shell Integration doit être installé au préalable, mais il n'est disponible à présent que pour Firefox. Ce même plug-in permettra de savoir quelles extensions sont installées et lesquelles peuvent être mises à jour.
Les utilisateurs peuvent essayer les extensions dès maintenant, mais devraient attendre l'arrivée de GNOME 3.4 pour pouvoir en profiter pleinement. Cette prochaine version majeure stable corrigera les bogues de GNOME 3.2 qui empêchent la désinstallation et la mise à jour commode de certaines extensions.
Le code des extensions « devient une partie du coeur du système d'exploitation ». Raison pour laquelle chacune d'entre elles doit être passée en revue pour validation avant d'apparaître sur la galerie.
Les développeurs peuvent créer leurs extensions en JavaScript et CSS à l'aide du GNOME Shell Extension Tool.
Ce projet n'est pas voué à remplacer les applets et les widgets, précise la documentation pour développeurs.
Accéder au site de la galerie (extensions.gnome.org)
FAQ du projet
Source : annonce sur le mailing list du GNOME Project
Et vous ?
Que pensez-vous de l'arrivée d'extensions sur GNOME Shell ?
Allez-vous en utiliser/développer ?
Les mainteneurs du projet annoncent les GNOME Shell Extensions, ces « petits bouts de code, écrits par des développeurs tiers modifiant le fonctionnement de GNOME. » Des extensions qui s'installent à partir d'une galerie en ligne, tout comme pour Firefox ou Chrome !
Ces extensions sont maintenues par leurs développeurs sans forcément impliquer la communauté. Elles peuvent cependant constituer un moyen de prototypage pour les futures fonctionnalités de GNOME, explique Jasper St Pierre sur l'annonce de cette galerie.
Le projet est disponible en version « alpha publique » et permet aux utilisateurs sous GNOME 3.2 d'installer les extensions directement depuis le navigateur. Le plug-in GNOME Shell Integration doit être installé au préalable, mais il n'est disponible à présent que pour Firefox. Ce même plug-in permettra de savoir quelles extensions sont installées et lesquelles peuvent être mises à jour.
Les utilisateurs peuvent essayer les extensions dès maintenant, mais devraient attendre l'arrivée de GNOME 3.4 pour pouvoir en profiter pleinement. Cette prochaine version majeure stable corrigera les bogues de GNOME 3.2 qui empêchent la désinstallation et la mise à jour commode de certaines extensions.
Le code des extensions « devient une partie du coeur du système d'exploitation ». Raison pour laquelle chacune d'entre elles doit être passée en revue pour validation avant d'apparaître sur la galerie.
Les développeurs peuvent créer leurs extensions en JavaScript et CSS à l'aide du GNOME Shell Extension Tool.
Ce projet n'est pas voué à remplacer les applets et les widgets, précise la documentation pour développeurs.
Source : annonce sur le mailing list du GNOME Project
Et vous ?
-
camus3Membre éprouvécomme Python par exemplele 06/12/2011 à 15:44
-
StraToNMembre actifQue pensez-vous de l'arrivée d'extensions sur GNOME Shell ?
Je pense par exemple à des extensions ajoutant des mini-fonctionnalités. En ce qui me concerne, je rencontre des problèmes avec le hot-corner en bas à droite (messaging tray) qui s'active aussi quand je lance des applications/jeux en plein écran avec Wine. Une extension permettant de désactiver/déplacer les hot corners serait intéressante, mais devrait à mon sens être une fonctionnalité inclue avec gnome-shell.
Concernant les langages employés (JS + CSS), je pense que c'est à double tranchant. Pour l'accessibilité c'est plutôt intéressant car ces langages sont devenus très communs, surtout pour les développeurs web. Ce choix leur ouvre les portes du tweaking de gnome, on ne peut que s'en réjouir. D'un autre côté, est-ce que ces choix ne seraient pas trop limitants ? Je ne sais pas encore si JS et CSS ont déjà montré des limites, mais je m'interroge sur le fait que d'autres langages pourraient avoir été choisis à la place, comme Python par exemple. Actuellement, je n'en sais rien, j'attends en savoir un peu plus en lisant les docsAllez-vous en utiliser/développer ?le 06/12/2011 à 15:05 -
troumadRédacteur/ModérateurOn dirait que ce plugin n'est pas compatible 3.5.91le 11/09/2012 à 18:45
-
troumadRédacteur/ModérateurBonjour
J'aimerai mettre l'horloge à droite comme sur cette photo :
https://extensions.gnome.org/static/...eenshot_25.png
Comment faire ? C'est une extension pour configurer la barre des taches ?le 21/07/2012 à 18:52 -
SuperGénieMembre à l'essaiBonjour,
Désoler de répondre 2 mois plus tard (peut-être que ça ne vaut plus la peine) mais pour déplacer l'horloge à droite c'est "Frippery Move Clock Extension" qu'il faut installer.
A+
SuperGéniele 11/09/2012 à 17:42 -
troumadRédacteur/ModérateurMon problème, c'est qu'il n'y a presque pas d'extensions pour gnome 3.3.5, la version que j'ai avec mon systèmele 22/02/2012 à 9:11