Habe gerade 11.10 und GNOME Tweak Tool installiert, kann aber gnome-shell-extensions-user-theme nicht installieren weil es nicht existiert (oder so apt-get install sagt mir). Aus diesem Grund gibt es keine Aktivierung von user-theme-extensions in den erweiterten Einstellungen für das GNOME Tweak Tool. Ich kann nirgendwo das Repository dafür finden. Was mache ich falsch?
Akzeptierte Antwort:
Geeky Way
Sie können Benutzerthemen und andere Erweiterungen von PPA installieren, da Erweiterungen nicht in offiziellen Repositories verfügbar sind. Geben Sie die folgenden Befehle ein, damit die Designs funktionieren.
sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-user-theme
Starten Sie nun die Gnome-Shell neu, indem Sie den Ausführungsdialog Alt + F2 verwenden und r eingeben .
Aktivieren Sie das Erweiterungsformular gnome-tweak-tool und Sie sind fertig.
Bevorzugte Alternative
Dies ist bei weitem der einfachste Weg, um die „user-themes“-Erweiterung sowie viele andere GNOME-Shell-Erweiterungen zu installieren.
- Öffnen Sie einfach Firefox (Sie können NICHT ab sofort jeden anderen Browser verwenden).
- Und besuchen Sie extensions.gnome.org
- Sie können nach Erweiterungen suchen, nach denen Sie suchen, und andere großartige Erweiterungen entdecken.
-
Erweiterung gefunden? Klicken Sie einfach auf den Schalter um es zu installieren.
-
Aah….. übrigens für User-Themes gibt es hier.
Hinweis: In der GNOME-Shell ist der Alt+F2-Dialog „Ausführen“ standardmäßig nicht aktiviert. Wenn dies der Fall ist, können Sie ihn über Tastatureinstellungen>Shortcuts>System.
aktivieren