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, Extension Update Notifier, 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.
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.
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é d’elle. Cliquez sur ce bouton.
Enfin, cliquez sur « installer » pour télécharger et installer la mise à jour.
Conclure
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.
Cet article est-il utile ? Oui Non
