Posts Tagged ‘gnome’

Pinboard bookmarks for March 10th

Pinboard links for March 10th, syndicated automagically: [gnome] Gnome 3 – User theme extension not enabled – Ubuntu Forums – So to be more specific with the commands, here's what I did to enable user theme extension: Code: $ sudo add-apt-repository ppa:ricotz/testing $ sudo apt-get update $ sudo apt-get install gnome-shell-extensions-user-theme (if you don't already […]

Pinboard bookmarks for December 5th

Pinboard links for December 5th, syndicated automagically: Pimp my Gnome, Teil 1: Extensions – shredzone –

Pinboard bookmarks for December 2nd

Pinboard links for December 2nd, syndicated automagically: gdm to the rescue 😉 – I tried numerous combinations of custom xorg.conf files and default vs. proprietary drivers (I have an ATI dual head card) nothing worked. Out of frustration I thought about reinstalling and older version of Ubuntu. That made me wonder if the problem was […]