Aller au contenu
FreeSoft Hub

Extension Manager

Publié par Matthew Jakeman

Installer des GNOME Extensions

Open sourceGPL-3.0-or-later

Points clés

  • Installe les extensions GNOME Shell depuis une application de bureau.
  • Répertorie les extensions déjà installées dans l'environnement GNOME actuel.
  • Active ou désactive des extensions GNOME individuelles.
  • Fournit les détails des extensions et des contrôles de gestion dans une seule interface.

À propos de cette application

Extension Manager est une application Linux permettant de travailler avec les extensions de GNOME Shell. Elle fournit une interface graphique pour trouver des extensions, les installer et gérer les extensions déjà présentes dans une session de bureau GNOME. Le programme est utile lorsqu'un utilisateur souhaite gérer les extensions dans une fenêtre de bureau native plutôt que par une page de navigateur.

L'application est centrée sur les extensions GNOME et ne gère pas les modules complémentaires d'autres environnements de bureau. Elle peut servir à passer en revue les éléments installés, à modifier leur état d'activation et à accéder aux détails d'une extension lorsqu'ils sont disponibles. Comme elle cible le bureau GNOME sous Linux, son utilité dépend de l'exécution d'un environnement GNOME Shell compatible.

Où l’obtenir

Linux

Nous n’hébergeons pas ce fichier, nous ne l’analysons pas et nous n’en inspectons pas le contenu. Lisez ce qu’en dit la source, puis décidez par vous-même.