I have been trying to install some Gnome extensions from the site https://extensions.gnome.org. I get the dialogue asking if I want to install, but after I select yes, it fails silently. This is the ...
I'm running Ubuntu Gnome remix 12.10 and it can't recognize my display. My HW is: Intel i3 3225 with HD 4000 onboard / is on a OCZ Vertex 4 SSD display is an old IBM Thinkvision with vga connector ...
I am on Ubuntu 12.04 and installed gnome-shell, but I found the top bar is larger than it normally is, how can I change its size?