Öhm, ja. Ich habe auf 12.04 gerade upgedated, und wollte gleich ein paar Gnome Shell themes installieren, habe also versucht, mir die user theme extension zu besorgen, aber es scheint so, als sei diese nicht mehr kompatibel mit dieser Shell version.
Kann das wirklich sein? Muss ich jetzt warten, bis es jetzt aktuelisiert wird für das neue Gnome Shell? Ich habe bereits versucht nachd em Problem zu googlen, keiner scheint es aber anzusprechen.
Edit: Plötzlich geht's. Einfach so. Kann geschlossen werden.
Moderiert von primus pilus:
Thema in das richtige Forum verschoben. Bitte beachte die Hinweise („Welche Themen gehören hier her und welche nicht?“) oben in jedem Forum.