Gerade 11.10 und GNOME Tweak Tool installiert, kann aber nicht installiert gnome-shell-extensions-user-theme
werden, da es nicht vorhanden ist (oder so apt-get install
sagt es mir). Aus diesem Grund gibt es user-theme-extensions
in den erweiterten Einstellungen für das GNOME Tweak Tool keine Aktivierung . Ich kann das Repository dafür nirgendwo finden. Was mache ich falsch?