Gestionnaire d'extensions, recherchez et installez les extensions GNOME Shell

à propos du gestionnaire d'extensions

Dans le prochain article, nous allons jeter un œil au gestionnaire d'extensions. Ceci est une application non officielle qui permettra aux utilisateurs de rechercher et d'installer des extensions GNOME Shell à partir du bureau. Tous sans avoir besoin d'utiliser le navigateur Web, comme d'habitude. L'application est basée sur GTK4 et libadwaita et peut être installée à partir de Flathub.

Aujourd'hui, en plus de permettre aux utilisateurs de rechercher et d'installer des extensions qui se trouvent également sur extensions.gnome.org, cet outil Cela nous donnera la possibilité d'activer ou de désactiver les extensions, d'afficher une liste des extensions installées, d'accéder à leur configuration ou de les désinstaller. L'application est encore assez nouvelle, elle a eu sa première version il y a peu de temps, bien qu'elle ait déjà reçu une mise à jour dans laquelle son créateur a ajouté certaines des choses que les utilisateurs ont demandées.

Comme j'ai dit, pour sa première mise à jour majeure des fonctionnalités, l'outil ajoute de nombreuses fonctionnalités suggérées par les utilisateurs. Parmi les choses qui ont été incluses, nous pouvons trouver un interrupteur marche/arrêt global (tout comme l'outil officiel) 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).

Fonctionnalités générales du gestionnaire d'extensions

image d'extension

  • L'application nous permettra rechercher des extensions sur extensions.gnome.org.
  • de ce logiciel nous pouvons installer les extensions, si vous avez besoin d'utiliser le navigateur Web ou le connecteur.
  • Sur l'écran du programme, nous pouvons activer et désactiver les extensions, en plus de pouvoir les désinstaller.

extensions installées

  • Dans cette dernière version des captures d'écran des extensions sont affichées.
  • Nous permettra ajouter des traductions à Notre language.

thème sombre

  • Nous aurons thème sombre et prise en charge du remplacement du schéma de couleurs du système.
  • Effectue une vérification de la compatibilité de la version du shell.
  • Le programme comporte également quelques raccourcis clavier, bien que pour le moment ceux-ci ne contribuent pas beaucoup.

trouver l'extension avec le gestionnaire d'extensions

  • Cela nous donnera la possibilité de trier les résultats de la recherche, même s'il ne montre que le top 10 . Les filtres pour trier les résultats de la recherche sont basés sur la popularité, l'état actuel, les téléchargements ou le nom. Ce sont les mêmes options disponibles sur le site Web principal des extensions GNOME.
  • maintenant afficher les extensions utilisateur et système séparément.
  • Cette nouvelle version ajoute de meilleures performances et stabilité que sa version précédente.

extensions non prises en charge

  • Les extensions non prises en charge sont désormais signalées dans les résultats chercher.
  • Le programme aussi montre quelques détails des extensions que nous pouvons trouver. De plus, chaque extension inclut un lien vers la page extensions.gnome.org.

Installer le gestionnaire d'extensions pour GNOME Shell sur Ubuntu

Le créateur du indique que utiliser le forfait Flatpak est la méthode recommandée pour installer Extension Manager. Si vous utilisez Ubuntu 20.04 et que cette technologie n'est toujours pas activée sur votre système, vous pouvez continuer le guide un collègue a écrit sur ce blog à ce sujet.

Il peut installer cette appli en ouvrant un terminal (Ctrl+Alt+T) et en y exécutant la commande suivante :

installer le pack plat du gestionnaire d'extensions

flatpak install flathub com.mattjakeman.ExtensionManager

Après l'installation, pour lancer l'application, il suffit de rechercher le lanceur sur notre ordinateur, bien que l'application puisse également être lancée en ouvrant un terminal (Ctrl+Alt+T) et en exécutant la commande :

gestionnaire d'extensions de lanceur

flatpak run com.mattjakeman.ExtensionManager

Extension Manager a été traduit dans plusieurs langues différentes. Par défaut, le programme doit respecter la langue de votre système dès le départ. Cependant, vous devrez peut-être prendre quelques mesures supplémentaires pour que Flatpak reconnaisse les paramètres régionaux que vous avez choisis.

mise à jour de la langue

Les commandes qui s'affichent à partir de le référentiel GitHub du projetpourrait être une solution à ce problème. Après l'avoir appliqué, Extension Manager doit respecter la langue de notre système.

Désinstaller

Pour supprimer cette application de notre équipe, il vous suffit d'ouvrir un terminal (Ctrl + Alt + T) et d'exécuter la commande qu'il contient:

désinstaller l'application

flatpak uninstall com.mattjakeman.ExtensionManager

Extension Manager est un logiciel open source gratuit et son code source peut être trouvé posté sur son Dépôt GitHub.


Soyez le premier à commenter

Laisser un commentaire

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

*

*

  1. Responsable des données: Miguel Ángel Gatón
  2. Finalité des données: Contrôle du SPAM, gestion des commentaires.
  3. Légitimation: votre consentement
  4. Communication des données: Les données ne seront pas communiquées à des tiers sauf obligation légale.
  5. Stockage des données: base de données hébergée par Occentus Networks (EU)
  6. Droits: à tout moment, vous pouvez limiter, récupérer et supprimer vos informations.