Linux · Internet
Extension Manager
Un outil GUI pour parcourir, installer et gérer les extensions de GNOME Shell directement depuis votre bureau Linux.
- Licence
- GPL-3.0-or-later
- Dernière version
- 0.7.0 (6 novembre 2026)
- Développeur
- Matthew Jakeman
- Installations
- 67,658 (Flathub, 30 jours)
Qu’est-ce que Extension Manager ?
Extension Manager est un utilitaire dédié à la gestion des extensions de GNOME Shell. Développé par Matthew Jakeman et publié sous licence GPL-3.0, il offre une interface native pour parcourir extensions.gnome.org sans quitter votre bureau. La version actuelle, 0.6.5, a été publiée en octobre 2025, ce qui indique une maintenance active et des mises à jour récentes. Il prend en charge les principales distributions, notamment Arch, Debian, openSUSE et Ubuntu.
Cet outil s'adresse principalement aux utilisateurs de GNOME qui souhaitent personnaliser leur environnement de bureau mais trouvent les commandes en terminal ou les navigateurs web contraignants. Il cible les utilisateurs qui préfèrent un flux de travail graphique pour l'installation et la configuration des extensions, offrant une expérience plus fluide que le téléchargement manuel de fichiers zip. Ce n'est pas un remplacement de navigateur web, mais un complément à l'environnement de bureau GNOME.
Contrairement aux navigateurs Windows comme Edge ou Chrome, cette application ne concourt pas dans la navigation web. Elle remplace plutôt le besoin de visiter des sites web et d'utiliser des commandes en terminal pour personnaliser le bureau. Elle se sent plus intégrée et moins technique que l'installation manuelle, semblable au fonctionnement des magasins d'applications sur d'autres plateformes, mais spécifiquement pour les extensions GNOME.
Idéal pour : Les utilisateurs du bureau GNOME qui souhaitent une méthode simple et graphique pour gérer leurs extensions de shell.
Fonctionnalités clés de Extension Manager
- Parcourir extensions.gnome.org directement dans l'application
- Installer de nouvelles extensions GNOME Shell en un clic
- Gérer et désactiver les extensions déjà installées
- Afficher des informations détaillées et des captures d'écran pour chaque extension
- Rechercher des extensions par nom ou mot-clé
- Prise en charge des principales distributions Linux via des paquets natifs
- Base de code open source sous licence GPL-3.0
Points forts
- Élimine le besoin de commandes en terminal pour installer des extensions
- Intégration directe avec le dépôt officiel des extensions GNOME
- Interface simple et épurée, facile à naviguer
- Maintenance active avec des sorties récentes en 2025
Points faibles
- Utile uniquement si vous utilisez l'environnement de bureau GNOME
- Ne prend pas en charge les extensions pour d'autres environnements de bureau comme KDE ou XFCE
- Limité aux extensions GNOME Shell, et non au logiciel général
Installer Extension Manager sous Linux
flatpak install flathub com.mattjakeman.ExtensionManagersudo apt install gnome-shell-extension-managersudo apt install gnome-shell-extension-managersudo pacman -S extension-managersudo zypper install extension-managerConseils pour les utilisateurs de Windows
Si vous venez de Windows, comprenez que ce n'est pas un remplacement de navigateur web. Il ne gère pas la navigation web, les e-mails ou la gestion de fichiers. Il remplace plutôt le processus manuel de téléchargement des archives d'extensions et de leur extraction dans votre répertoire personnel. Votre flux de travail passe de l'utilisation d'un navigateur et d'un terminal à l'utilisation d'une seule application GUI. Aucune conversion de format de fichier n'est nécessaire ; il interagit directement avec votre configuration GNOME Shell.
Versions récentes
- 0.7.0 —
- Redesigned extension details, unifying local and web information in a single view - Search installed extensions from the GNOME Shell overview - Show extension errors in a dedicated dialog - Supported GNOME versions are now shown in a dialog, including the…
- 0.6.5 —
- Fix search regressions - Translation updates
- 0.6.4 —
- Port to GNOME Extensions v1 API - Latest platform updates - Fix various crashes - Add Basque and Kazakh translations - Translation updates
- 0.6.3 —
- Fixes a frequent crash when installing an extension - Brazilian Portuguese and Korean translations updates
Extension Manager : questions fréquentes
Puis-je utiliser Extension Manager sur KDE Plasma ?
Non, il est spécifiquement conçu pour GNOME Shell. Les utilisateurs de KDE devraient utiliser le KDE Store ou des méthodes d'installation manuelle pour les widgets Plasma.
Extension Manager est-il gratuit ?
Oui, c'est un logiciel entièrement gratuit et open source, sous licence GPL-3.0.
Remplace-t-il le besoin d'un navigateur web ?
Non, il ne gère que les extensions du bureau GNOME. Vous avez toujours besoin d'un navigateur web comme Firefox ou Chromium pour la navigation sur Internet.
Comment mettre à jour mes extensions ?
L'application vous permet de gérer les extensions installées, mais les mises à jour sont souvent gérées automatiquement par GNOME Shell ou par l'application elle-même, selon la version.
Mis à jour le