[[PageOutline]] = GNOME-Shell = Wie man die GNOME-Shell verwaltet. == Shellerweiterungen für alle Nutzer aktivieren == siehe https://people.gnome.org/~pmkovar/system-admin-guide/extensions-enable.html ---- [[CC_BY_NC_SA(Dr. R. Kupper)]]