
Extension Manager
Veröffentlicht von Matthew Jakeman
GNOME Extensions installieren
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.
Bezugsquellen
Linux
- Auf Flathub öffnenÖffnet in einem neuen TabPaketquelleFlathub
Vom Herausgeber
Installation im Terminal
flatpak install flathub com.mattjakeman.ExtensionManager
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.