L’application ‘Extension Manager’ vous aide à installer et à gérer les extensions GNOME Shell


  • FrançaisFrançais



  • Bref: Extension Manager est une alternative non officielle passionnante à l’application officielle Extensions de GNOME pour vous aider à gérer les extensions du shell GNOME. Regardons de plus près.

    Les extensions GNOME sont incroyablement utiles. Bien sûr, en utiliser plusieurs n’est peut-être pas la meilleure solution à votre problème.

    Cependant, si vous comptez sur les extensions GNOME pour modifier votre flux de travail de bureau sur n’importe quelle distribution Linux, une option pratique pour gérer toutes les extensions devrait vous faire gagner du temps.

    L’équipe GNOME vous propose déjà un «Rallonges” app pour configurer et gérer les extensions GNOME. Mais, il n’est pas préinstallé sur toutes les distributions Linux.

    Alors, devriez-vous utiliser l’application officielle Extensions, ou y a-t-il quelque chose de mieux ?

    Eh bien, techniquement, cela dépend de votre cas d’utilisation et de vos besoins. Mais, il y a un “Extension Manager” qui vous aide à gérer les extensions GNOME Shell tout en vous permettant de rechercher et d’installer de nouvelles extensions sans utiliser le navigateur.

    gestionnaire d'extension ft

    Gestionnaire d’extensions : une alternative aux “extensions”

    Si vous avez déjà des “Extensions” installées, vous n’avez peut-être pas une grande raison de l’utiliser.

    Cependant, avec le gestionnaire d’extensions de Matt Jakemanvous obtenez une application utile pour activer/désactiver, configurer et installer/désinstaller facilement de nouvelles extensions GNOME.

    Vous n’avez plus besoin de suivre la méthode habituelle pour installer les extensions GNOME qui impliquent une page Web, un module complémentaire de navigateur, etc.

    Il propose un onglet séparé pour rechercher et installer les extensions GNOME disponibles.

    recherche de gestionnaire d'extensions

    Comme vous pouvez le remarquer dans la capture d’écran ci-dessus, vous n’avez pas besoin de modifier le numéro de version de GNOME Shell et de voir s’il est pris en charge. Cette application met directement en évidence si l’extension est prise en charge sur votre système.

    Ainsi, vous pouvez facilement explorer les meilleures extensions GNOME et voir si cela fonctionne pour vous.

    De plus, vous pouvez également en savoir plus sur une extension en cliquant dessus. Cela pourrait améliorer la façon dont les informations sont présentées, mais cela devrait être suffisant pour la plupart.

    informations sur le gestionnaire d'extensions

    Fonctionnalités du gestionnaire d’extensions

    gestionnaire d'extensions généralités

    Pour résumer les fonctionnalités :

    • Configurez les extensions GNOME existantes/préinstallées.
    • Activer/désactiver les extensions de shell.
    • Possibilité de rechercher de nouvelles extensions sur le Web.
    • Installez de nouvelles extensions à partir du Web.
    • Choisissez le thème de l’application selon vos préférences ou suivez le thème du système.
    • Mettez à jour l’extension depuis l’application.

    Extensions vs Extension Manager : quelle est la différence ?

    Si vous vous demandez : quelle est la différence entre les extensions et le gestionnaire d’extensions ?

    Voici un comparaison de capture d’écran:

    Extensions (GNOME) vs Gestionnaire d’extensions

    Dans l’ensemble, l’interface utilisateur est un peu différente. Mais c’est essentiellement la même chose, moins la possibilité de rechercher/installer des extensions GNOME à partir du Web.

    Cependant, vous pouvez basculer le thème sur clair/foncé (ou suivre les préférences du système) avec Extension Manager. Avec les extensions, l’application suit le thème du système par défaut.

    Installer le gestionnaire d’extensions sous Linux

    En utilisant les référentiels officiels, vous pouvez facilement installer le gestionnaire d’extensions sur Ubuntu 22.04 LTS.

    Ainsi, vous pouvez le rechercher dans la logithèque ou l’installer via le terminal à l’aide de la commande suivante :

    sudo apt install gnome-shell-extension-manager

    Pour toute autre distribution Linux, vous pouvez vous référer à notre guide Flatpak et installer le package Flatpak disponible sur Moyeu plat.

    Vous devriez également le trouver disponible dans AUR pour les distributions Arch Linux.

    Dirigez-vous vers son Page GitHub pour en savoir plus sur l’application et les autres méthodes d’installation.

    Que préférez-vous pour aider à gérer les extensions du shell GNOME ? N’hésitez pas à partager vos réflexions dans les commentaires.

    Source

    N'oubliez pas de voter pour cet article !
    1 Star2 Stars3 Stars4 Stars5 Stars (No Ratings Yet)
    Loading...

    La Rédaction

    L'équipe rédactionnnelle du site

    Pour contacter personnellement le taulier :

    Laisser un commentaire

    Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *