Seit gestern am Start: Die Seite mit den Shell-Extensions für Gnome (https://extensions.gnome.org/); Voraussetzung ist ein aktueller Gnome 3.2. Vorsicht, auf der Seite steht noch groß "Alpha!" - was mag das nur bedeuten?
Ich halte die Idee mit den Extensions für gut und werde dieselben ausgiebig testen, sobald mein Gnome 3 aktuell genug ist. Vielleicht muss ich doch nicht die GUI wechseln, eigentlich geht mir Distro- und Desktop-Hopping auf den Zeiger.