Vous ne savez pas comment mettre à jour les extensions GNOME ? Vous n'êtes pas seul.
J'ai vu un certain nombre de personnes demander comment mettre à jour les extensions GNOME Shell ces dernières semaines, sans doute grâce aux événements récents sur Ubuntu-land qui ont poussé plus de gens à essayer GNOME Shell.
La réponse est délicieusement simple :vous mettez à jour les extensions GNOME à partir du même site Web à partir duquel vous les installez, à savoir extensions.gnome.org .
Ce n'est pas immédiatement évident.
Avant, c'était pire; dans les anciennes versions de GNOME 3, vous devez faire tout votre possible pour vérifier les mises à jour des extensions. Mais le nouvel assistant GNOME Shell qui est requis pour installer les extensions vous indique souvent quand une mise à jour est disponible.
Mais cliquer sur la notification ne fait rien.
En conséquence, une question courante que nous voyons les utilisateurs de GNOME poser est :"comment puis-je mettre à jour les extensions GNOME ?".
La mise à jour des extensions GNOME est facile
Pour mettre à jour vers la dernière version compatible d'une extension GNOME, il vous suffit de visiter le site Web extensions.gnome.org dans un navigateur Web compatible comme Firefox, Google ou GNOME Web (Epiphany).
En haut du site Web se trouvent quatre liens :"Extensions", "Ajouter la vôtre", "Extensions installées" et "À propos".
Cliquez sur "Extensions installées ".
Vous verrez une liste des extensions GNOME que vous avez installées sur votre système. À côté de chacun se trouvent quelques boutons pour les activer/désactiver, les configurer et les supprimer.
Les extensions pour lesquelles une mise à jour est disponible afficheront une boîte verte avec une flèche vers le haut. Cette icône vous indique qu'une nouvelle version de l'extension est disponible.
Cliquez sur cette icône.
Vous serez invité à télécharger et à installer la mise à jour.
Et c'est tout ce qu'il y a à faire.