Just installed 11.10 and GNOME Tweak Tool but can't install gnome-shell-extensions-user-theme
due to it not existing (or so apt-get install
tells me). Because of that, there is no enabling user-theme-extensions
in the advanced settings for the GNOME Tweak Tool. I can't find the repository for it anywhere. What am I doing wrong?