In Gnome Tweak Tool kann ich das Shell-Thema nicht ändern:
Bewegen der Maus über das Ausrufezeichen zeigt den folgenden Tool-Tip: Shell user-theme extension not enabled
. Ich benutze Ubuntu 14.10 und habe Gnome-Shell-Erweiterungen installiert.
themes
gnome-shell
gnome-shell-extension
miceagol
quelle
quelle
Antworten:
Ich habe dieses Problem selbst gelöst und es war eine äußerst triviale Lösung:
Gnome Tweak Tool
.Extensions
Menüpunkt und bewegen Sie denUser themes
Schieberegler aufOn
.Gnome Tweak Tool
und öffne es wieder.Shell theme
imAppearance
Menü zu wählen .quelle
Zusätzlich zur
@miceagol's
Antwort: Wenn SieUser Themes
in derExtensions
Anzeige von GNOME Tweak Tool nichts sehen , müssen Sie es möglicherweise von extensions.gnome.org installieren . Starten Sie das Tweak-Tool nach der Installation neu.quelle
Sie können ein Thema mit Terminal festlegen:
Verwenden Sie ein bekanntes funktionierendes Standardthema wie oben und es sollte Sie zurückbringen, aber das unten stehende könnte Ihr wahrer Albtraum sein: Themen, die nicht funktionieren. Wenn Sie Themen installieren, die nicht funktionieren, VERLASSEN Sie Einträge, und wenn Sie auf einen fehlgeschlagenen Eintrag klicken, werden Sie es tun brechen Sie das Tweak-Tool.
Ein Theme zu deinstallieren ist allerdings nicht so einfach. Keine Ahnung, wie man ein schlechtes Theme mit dem Tweak Tool aus der Liste entfernt.
quelle