Vous souvenez-vous de cette nouvelle application pour installer les extensions GNOME dont j’ai parlé plus tôt ce mois-ci ? Eh bien, il vient de recevoir sa première mise à jour majeure.
Et il ajoute une tonne de fonctionnalités très demandées.
Pour ceux qui ne le connaissent pas, Extension Manager est une application de bureau qui vous permet de rechercher, parcourir, gérer et installer des extensions GNOME sans avoir à utiliser un navigateur Web. L’application est construite en GTK4 et libadwaita et peut être installée à partir de Flathub.
Pour sa première mise à jour majeure des fonctionnalités, l’outil ajoute à peu près tout les gens ont suggéré d’ajouter, y compris un bascule marche/arrêt globale (tout comme l’officiel Préférences des extensions outil), et une séparation claire des extensions installées par l’utilisateur et des extensions installées par le système (par ordre alphabétique, rien de moins) :
De plus, il y a de nouveaux filtres pour trier les résultats de recherche en fonction de la popularité, de la récence, des téléchargements ou du nom – les mêmes options disponibles sur le site Web principal des extensions GNOME :
Les extensions non prises en charge sont désormais signalées dans les résultats de recherche, au lieu d’être masquées :
Et le plus important : vous pouvez désormais voir des captures d’écran de l’extension dans l’application :
Il y a aussi un peu plus de détails sur les pages de liste :
De plus, Extension Manager 0.2 ajoute la prise en charge du mode sombre (manuel ou automatique, ce dernier étant basé sur la nouvelle norme de bureau libre), et le développeur a cherché à améliorer les performances globales et la stabilité de l’outil.
Gestionnaire d’extensions 0.2.1 en un coup d’œil :
- Thème sombre et prise en charge du remplacement du schéma de couleurs du système
- Affiche des captures d’écran dans les listes d’extensions
- Vérification de la compatibilité de la version du shell
- Trier les résultats de la recherche
- Activer/désactiver l’extension globale
- Affiche les extensions utilisateur et système séparément
- Performances et stabilité
Extension Manager est un logiciel open source gratuit avec code source sur GitHub. Le développeur de l’application recommande aux utilisateurs installer le gestionnaire d’extensions à partir de Flathubbien que l’outil soit disponible par d’autres moyens, comme l’AUR.
