I can't manage to get gnome tweak tool to allow me to switch themes, nor to install the required extensions and have them working. Could anyone please give me any pointers?
EDIT: Fixed it, but I forgot how I did it. Sorry.
Ask Ubuntu is a question and answer site for Ubuntu users and developers. It only takes a minute to sign up.Sign up to join this community
I had to face this problem again, and found a solution:
Istall the user-theme extension from ppa:
sudo add-apt-repository ppa:ferramroberto/gnome3 sudo apt-get update sudo apt-get install gnome-shell-extensions-user-theme
Restart by logging out and back in or with
Open the gnome tweak tool, go to Shell Extensions, enable the User Themes Extension.
Close the tweak tool restart gnome-shell again.
Now open the gnome tweak tool again and, under theme, you should be able to select your shell theme.