2

I'm using Ubuntu 12.04 with Gnome Shell 3.4. Since day one I had some random crashes mainly after reloading or during search. After a lot of research I concluded that user-theme extension is to blame. Only when disabled Gnome Shell runs 100% smoothly. So my question is: Is there a way to install a theme without using user-theme extension?

edit: Trying to install it via Gnome Tweak Tool without user-theme extension won't work because of [this][1].

enter image description here

  • have you tried gnome-tweak-tool ? – hhlp Jun 4 '12 at 15:09
  • Can't, check the updated post. – Aventinus Jun 4 '12 at 15:21
2

Yes you can.

Extract your theme to ~/themes or /usr/share/themes

I use this command for manually change theme and icon on ubuntu.

Open terminal Ctrl+Alt+T and run following command:

Icon Pack

gsettings set org.gnome.desktop.interface icon-theme 'theme'

Theme

gsettings set org.gnome.desktop.interface gtk-theme 'theme'

gsettings set org.gnome.desktop.wm.preferences 'theme'

gconftool-2 --set --type string /apps/metacity/general/theme 'theme'

Change 'theme' with your theme name

0

Install

sudo apt-get install gnome-shell-extensions 

enter image description here

After Installation Press Alt+F2 and type 'r' to restart Gnome Shell, or just logout and login back. Open Gnome Tweak Tool to change/install shell Themes.

  • there is no "gnome-shell-extensions" in official repositories! Where did you find that? – mondjunge Oct 4 '12 at 12:08
  • of course, there is one: packages.ubuntu.com/quantal/gnome/gnome-shell-extensions – abybaddi009 Apr 18 '13 at 15:40
  • quantal is ubuntu 12.10, question was about 12.04 (precise)... – mondjunge May 10 '13 at 11:41

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.