Une mise à jour du incroyablement L’application utile Extension Manager est en cours de déploiement sur Flathub.
La version 0.3 de ce guichet unique pour rechercher, installer, configurer, mettre à jour et supprimer les extensions GNOME sur GNOME Shell introduit un ensemble de modifications qui, ensemble, renforcent les capacités de l’application.
Tout d’abord, l’application gagne une toute nouvelle icône compatible avec GNOME :
De plus, cette version de l’application vous permet de lire les avis des utilisateurs et consultez les classements par étoiles sur les pages de liste d’extensions – un moyen rapide et efficace de découvrir si une extension est aussi bonne que son texte de présentation le suggère :
Lorsque vous rencontrez une extension « non prise en charge » (c’est-à-dire une extension non répertoriée comme étant compatible avec votre version de GNOME Shell) Gestionnaire d’extensions 0.3 vous permet de l’installer quand même :
De plus, on dit que l’application gère les erreurs et les extensions obsolètes « mieux » qu’auparavant. Il bénéficie également de correctifs de performances et de stabilité.
Comme mentionné dans notre premier article, Extension Manager est un utilitaire indispensable si vous êtes all-in sur les extensions GNOME, quel que soit votre environnement de bureau ou la distribution de votre choix. Mais cet outil est particulièrement utile pour ceux qui utilisent Ubuntu 21.10 ou une version ultérieure, car la version par défaut de Firefox Snap ne vous permet (toujours) pas d’installer l’extension GNOME via celle-ci.
Avec cette application, vous n’avez même pas besoin d’un navigateur du tout ; ouvrez-le simplement, parcourez les extensions, installez-les, configurez-les, etc.
Extension Manager est un logiciel open source gratuit. Le code source est sur Githubet l’application disponible pour installer à partir de Flathub (ou AUR, si vous vous balancez de cette façon).
