Comment être informé des mises à jour de vos extensions Gnome Shell

Comment être informé des mises à jour de vos extensions Gnome Shell
⌛ Reading Time: 3 minutes

La bonne (et probablement la meilleure) chose à propos de Gnome Shell est que vous pouvez facilement étendre ses fonctionnalités avec des extensions, et nous vous avons déjà montré quelques-unes des meilleures dans un article précédent. Ce qui n’est pas immédiatement évident, c’est comment mettre à jour vos extensions installées et comment être averti lorsqu’il y a des mises à jour.

Si vous installez des extensions via le gestionnaire de paquets de votre distribution, les mises à jour seront transmises lorsque vous mettez à jour le système. Cependant, pour ceux qui installent des extensions via le site Web des extensions GNOME, il n’existe aucun moyen intégré d’être averti lorsqu’il y a des mises à jour pour les extensions que vous avez installées.

Ce problème est résolu en installant une autre extension, Notification de mise à jour d’extension, qui vous informe simplement lorsqu’une mise à jour est disponible pour l’une de vos extensions installées.

Une fois que vous l’avez installé, vous pouvez personnaliser la fréquence à laquelle il doit rechercher les mises à jour en lançant les paramètres à partir de l’outil de réglage GNOME.

mise à jour-gnome-extension-2

Pour mettre à jour une extension, visitez le Site Web de l’extension GNOME dans un navigateur compatible, tel que Firefox ou GNOME Web (Epiphany), et cliquez sur « Extensions installées » dans la barre de navigation supérieure.

mise à jour-gnome-extension-3

Vous verrez une liste de toutes les extensions que vous avez installées sur votre ordinateur et des options pour les activer, les désactiver, les configurer ou les supprimer à côté de chacune.

Si des mises à jour sont disponibles pour une extension, elle aura un bouton vert à côté. Cliquez sur ce bouton.

update-gnome-extension-4

Enfin, cliquez sur « installer » pour télécharger et installer la mise à jour.

update-gnome-extension-5

Emballer

C’est tout ce qu’il y a pour mettre à jour les extensions GNOME Shell. J’aurais aimé un moyen plus intuitif de mettre à jour toutes les extensions en un clic, via le centre logiciel GNOME par exemple, mais cela n’existe pas pour le moment.

Si vous connaissez un meilleur moyen de mettre à jour les extensions GNOME, parlez-nous-en dans la section commentaires ci-dessous.

How useful was this post?

Click on a star to rate it!

Average rating 0 / 5. Vote count: 0

No votes so far! Be the first to rate this post.