Developpez.com

Le Club des Développeurs et IT Pro

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 ?

  Discussion forum
6 commentaires
  • camus3
    Membre éprouvé
    comme Python par exemple
    ou Ruby ... quand on a le choix , pourquoi vouloir utiliser javascript ? Ruby ou python sont d'ailleurs bien plus facile à apprendre que javascript.
  • StraToN
    Membre actif
    Que pensez-vous de l'arrivée d'extensions sur GNOME Shell ?
    Je trouve ça assez intéressant, même si j'espère que ça ne sera pas au détriment des performances, et surtout qu'on ne verra pas fleurir des extensions qui devraient être en fait des parties intégrantes de 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 docs

    Allez-vous en utiliser/développer ?
    À voir. Si je ne vois pas d'extension ou de mise à jour correspondant à mon besoin précédent, je la ferai moi-même.
  • troumad
    Rédacteur/Modérateur
    On dirait que ce plugin n'est pas compatible 3.5.91
  • troumad
    Rédacteur/Modérateur
    Bonjour

    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 ?
  • SuperGénie
    Membre à l'essai
    Envoyé par troumad
    Bonjour

    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 ?
    Bonjour,

    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énie
  • troumad
    Rédacteur/Modérateur
    Mon 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ème