L'environnement de bureau GNOME gratuit et open-source prend en charge depuis longtemps les extensions, qui étendent ce que l'interface peut faire. Mais pendant des années, GNOME n'a pas fait un excellent travail pour vous aider à trouver et à installer ces extensions. Le processus impliquait d'aller sur un site Web, d'installer une extension Firefox et de croiser les doigts.
Il existe maintenant une application qui élimine toute la douleur du processus. Extension Manager simplifie considérablement l'expérience de découverte, d'installation et de gestion des extensions GNOME. Cette seule application peut faire de l'utilisation des extensions GNOME une expérience joyeuse.
Où télécharger le gestionnaire d'extensions
Vous pouvez trouver Extension Manager sur Flathub. Là, vous pouvez télécharger l'application en utilisant le Installer ou copiez et collez la commande du terminal.
GNOME Extension Manager est disponible pour la majorité des distributions Linux sous forme de Flatpack. Mais si vous êtes nouveau sur Linux et que vous cherchez le moyen le plus simple d'installer un bureau GNOME relativement standard, vous voudrez peut-être
Découvrez Fedora Linux.Notez que votre système doit prendre en charge Flatpak si vous souhaitez installer Extension Manager.
Télécharger:Extension Manager
Recherche de nouvelles extensions
Pour voir quelles extensions sont disponibles, lancez l'application et cliquez sur le Parcourir languette. Une liste d'extensions apparaîtra, avec une barre de recherche en haut de la liste. Vous pouvez filtrer les résultats par popularité, nombre de téléchargements, date de sortie ou nom.
Vous ne pouvez télécharger que des extensions qui prennent explicitement en charge votre version de GNOME. Vous pouvez vous attendre à ce que de nombreuses extensions ne fonctionnent pas dans les premiers jours après une nouvelle version de GNOME, beaucoup ne faisant jamais le saut pour prendre en charge la dernière mise à jour. Si vous essayez les versions bêta de GNOME, vous pouvez vous attendre à ce que la majorité des extensions ne soient pas disponibles.
Dans la liste des résultats, cliquez sur le nom d'une extension qui vous intéresse. Cela vous amènera à la page de l'extension. Vous y verrez une capture d'écran, une description, les versions prises en charge et les avis des utilisateurs.
L'expérience s'apparente à l'utilisation du logiciel GNOME sous Linux ou d'une boutique d'applications sur n'importe quel appareil mobile.
Pour installer une extension, cliquez sur le bleu Installer bouton. Une fenêtre contextuelle apparaîtra vous demandant de confirmer l'installation de l'extension. Par la suite, la prolongation prendra généralement effet immédiatement.
Gestion des extensions installées sur GNOME
Vous pouvez afficher toutes vos extensions en revenant à l'écran installée languette. Ici, vous pouvez activer et désactiver les extensions. Mais ce n'est qu'une partie de l'histoire.
De nombreuses extensions sont livrées avec des options de configuration. Lorsque c'est le cas, un rouage de paramètres apparaîtra à côté de la bascule marche/arrêt. Vous pouvez cliquer sur ce rouage pour ouvrir une fenêtre de paramètres.
Si vous effectuez une mise à niveau vers une nouvelle version de GNOME, vous constaterez peut-être que bon nombre de vos extensions installées ne fonctionnent plus. Si les développeurs n'ont pas mis à jour l'extension pour qu'elle fonctionne avec la dernière version, une icône rouge apparaîtra à côté du rouage des paramètres.
Pour désinstaller une extension, cliquez sur son nom puis appuyez sur le rouge Retirer bouton. Extension Manager désinstallera et supprimera tous les fichiers associés à cette extension particulière en quelques secondes.
Un App Store pour les extensions GNOME ?
C'est à cela que ressemble le gestionnaire d'extensions GNOME. Il ne fait pas officiellement partie du projet GNOME, mais le logiciel ressemble à un citoyen de première classe. Si vous n'êtes pas déjà intéressé par les extensions GNOME, cette application peut en allumer une.
Vous ne savez pas quelles extensions installer sur votre bureau GNOME pour vous l'approprier? Ne vous inquiétez pas, car en ce qui concerne la personnalisation du bureau, il existe plusieurs extensions GNOME indispensables qui s'adressent à tous les utilisateurs.