Ich habe die GNOME-Shell in Ubuntu 12.04 installiert und möchte das "Shell-Design" ändern. Dies ist jedoch nicht möglich.
Die Warnung besagt etwas wie: "Die GNOME-Shell-Erweiterung ist nicht aktiviert", und ich möchte sie mit der Konsole installieren. Es wird jedoch ein Fehler zurückgegeben.
Wie kann ich dieses Problem lösen?
gnome-shell-extensions
scheint in 12.04 nicht verfügbar zu sein. Wissen Sie, wie Sie es bekommen?