Mit dem Erweiterungs-Manager von Gnome können Erweiterungen, Apps und andere Dinge für die Gnome-Shell schnell und einfach installiert, aktualisiert und aktiviert bzw. deaktiviert werden. Die integrierte Suche findet schnell eine
Schlagwort: Erweiterung