0
votes
1answer
17 views

Can I create a bootable distribution backup

I'm interested in trying out a couple of distributions, but for extended periods of time (so using a LiveCD is not really an option). However, I would like to create a backup of my current ...
1
vote
0answers
51 views

Shifting GNOME 3 notification corner to bottom-left!

I like that GNOME 3's (v3.4 on Ubuntu 12.04) 'Hot Corner' and 'notification corner (?)' response really fast, but the latter, for me, would have been better off at the bottom-left corner; leaving the ...
1
vote
1answer
30 views

Where can I find the source code of Gnome-Shell 3.10 Status Indicator/Bar?

In Gnome Shell 3.10 indicators (sound, network,..) were merged in single status bar. I read that applications need to make gnome shell extensions to show an icon there. So I searched for default ...
2
votes
2answers
3k views

Global Keyboard shortcuts in Ubuntu 14.04

I've just upgraded my distribution from 13.10 to 14.04, which seems to have broken global keyboard shortcuts. They are still present in the "Keyboard settings" as before. Although media keys are ...
2
votes
0answers
52 views

How to use Gnome's extensions

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 ...
0
votes
1answer
814 views

Low display resolution Ubuntu Gnome remix 12.10

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 ...
3
votes
2answers
5k views

How do I resize GNOME shell top bar

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?