Le Site de TuxLibre

Linux of course ! LinuxMint - Ubuntu - Photographie - Astuces Linux - Vidéos - Musiques

Extension Manager : Une extension pour installer des Extensions

Publié le 10 Février 2022 par TUXLIBRE in GNOME, DISTRIBUTIONS, GNOME 3 SHELL

Extension Manager : Une extension pour installer des Extensions

Un utilitaire pour parcourir et installer les extensions GNOME Shell.

Caractéristiques:

Parcourez la liste de extensions.gnome.org directement dans l'application.
Gérer les extensions que vous avez déjà installées.

L'application est très nouvelle, ayant sa première version (0.1.0) il y a seulement quelques jours, elle manque donc toujours de fonctionnalités.

Extension Manager ne prend pas en charge pour le moment la mise à jour des extensions ou des traductions. Seuls les 10 premiers résultats sont affichés lors d'une recherche, et il n'y a pas d'option pour trier les résultats de la recherche. Les captures d'écran et les commentaires d'extension ne sont pas non plus disponibles pour le moment.

Extensions Manager répond en partie au problème d'avoir à installer une extension de navigateur et un connecteur, et à utiliser un navigateur Web pris en charge pour installer les extensions GNOME Shell.

 

Vous pouvez suivre l'évolution de ce projet sur le Github du développeur.


Installer le gestionnaire d'extensions pour GNOME Shell :

L'extension ou plutôt le logiciel est maintenant disponible sur Flathub , il peut donc être facilement installé sur la plupart des distributions Linux.

 

TÉLÉCHARGER SUR LE FLATHUB

 

Commenter cet article