IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)

Vous êtes nouveau sur Developpez.com ? Créez votre compte ou connectez-vous afin de pouvoir participer !

Vous devez avoir un compte Developpez.com et être connecté pour pouvoir participer aux discussions.

Vous n'avez pas encore de compte Developpez.com ? Créez-en un en quelques instants, c'est entièrement gratuit !

Si vous disposez déjà d'un compte et qu'il est bien activé, connectez-vous à l'aide du formulaire ci-dessous.

Identifiez-vous
Identifiant
Mot de passe
Mot de passe oublié ?
Créer un compte

L'inscription est gratuite et ne vous prendra que quelques instants !

Je m'inscris !

Les extensions arrivent sur GNOME Shell
écrites en JavaScript et CSS, elles s'installent à partir du navigateur

Le , par Idelways

0PARTAGES

0  1 
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 ?

Une erreur dans cette actualité ? Signalez-nous-la !

Avatar de camus3
Membre éprouvé https://www.developpez.com
Le 06/12/2011 à 15:44
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.
2  0 
Avatar de StraToN
Membre actif https://www.developpez.com
Le 06/12/2011 à 15:05
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.
1  0 
Avatar de troumad
Rédacteur/Modérateur https://www.developpez.com
Le 11/09/2012 à 18:45
On dirait que ce plugin n'est pas compatible 3.5.91
1  0 
Avatar de troumad
Rédacteur/Modérateur https://www.developpez.com
Le 21/07/2012 à 18:52
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 ?
0  0 
Avatar de SuperGénie
Membre à l'essai https://www.developpez.com
Le 11/09/2012 à 17:42
Citation Envoyé par troumad Voir le message
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
0  0 
Avatar de troumad
Rédacteur/Modérateur https://www.developpez.com
Le 22/02/2012 à 9:11
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
0  1