Zum Inhalt springen

Extension Manager

Veröffentlicht von Matthew Jakeman

GNOME Extensions installieren

Open SourceGPL-3.0-or-later

Highlights

  • Installiert GNOME-Shell-Erweiterungen aus einer Desktop-Anwendung.
  • Listet Erweiterungen auf, die bereits in der aktuellen GNOME-Umgebung installiert sind.
  • Aktiviert oder deaktiviert einzelne GNOME-Erweiterungen.
  • Bietet Erweiterungsdetails und Verwaltungssteuerelemente in einer Benutzeroberfläche.

Über diese Anwendung

Extension Manager ist eine Linux-Anwendung für die Arbeit mit GNOME-Shell-Erweiterungen. Sie stellt eine grafische Oberfläche bereit, um Erweiterungen zu finden, sie zu installieren und die in einer GNOME-Desktop-Sitzung bereits vorhandenen Erweiterungen zu verwalten. Das Programm ist nützlich, wenn ein Benutzer die Handhabung von Erweiterungen in einem nativen Desktop-Fenster statt über eine Browserseite wünscht.

Die Anwendung ist auf GNOME Extensions ausgerichtet und verwaltet keine Add-ons für andere Desktop-Umgebungen. Sie kann verwendet werden, um installierte Einträge zu prüfen, deren Aktivierungszustand zu ändern und, sofern verfügbar, auf Details zu Erweiterungen zuzugreifen. Da sie auf den GNOME-Desktop unter Linux abzielt, hängt ihr Nutzen davon ab, dass eine kompatible GNOME-Shell-Umgebung läuft.

Linux

Wir hosten diese Datei nicht, wir scannen sie nicht und wir sehen ihren Inhalt nicht ein. Lesen Sie, was die Quelle angibt, und entscheiden Sie dann selbst.