gnome-shell extension

Le projet gnome vient de lancer un site permettant de regrouper un bon paquet d'extensions pour gnome Shell.
Petit tour du propriétaire pour ce site en version alpha.

L'idée, revendiquée, est de reproduire un fonctionnement à la addons.mozilla.org.

Les avantages :

• Les extensions sont regroupées à une même adresse.
• Les codes sont vérifiés avant d'être mis à disposition.
• L'installation d'une extension est extrêmement simple: un bouton à enclencher.
• Un onglet est consacré aux extensions installées sur votre machine: vous pouvez activer et désactivé vos extensions comme bon vous semble.

En résumé, plus besoin de gnome-tweak et plus besoin d’installer de multiples dépôts pour disposer d'extension validées.

Les inconvénients :

• Les navigateurs sur base WebKit ne sont pas encore supportés, exit donc Chromium et Epiphany.
• Les dépôts des codes sources ne sont pas tous disponibles.
• Le processus de mise à jour des extensions n'est pas indiqué, je ne sais pas si il est prévu à court terme de remédier à ce problème.
• La gestion des extensions (On/Off) nécessite de disposer d'une connection internet.

En conclusion,

Ce site est intéressant et il serait dommage de s'en passer pour découvrir de nouvelles extensions.
Mais pour l'instant le bon vieux gnome-tweak associé aux dépôts me parait être une solution plus fiable.



Le site : https://extensions.gnome.org