Take the 2-minute tour ×
Super User is a question and answer site for computer enthusiasts and power users. It's 100% free, no registration required.

I want to write a GNOME Shell extension that sets some useful keyboard shortcuts when it loads, in particular those related to switching workspaces. I know how to set these easily from system settings, but I can't figure out how to do it programmatically.

There are some available options in org.gnome.settings-daemon.plugins.media-keys, but none that do what I want.

Anyone know where/how GNOME saves navigation keyboard shortcuts?

share|improve this question
After asking in the GNOME Shell IRC channel, it looks like most keybindings will be stored in org.gnome.desktop.wm.keybindings, but only starting around version 3.3.4. –  damien Feb 10 '12 at 15:19
If you are still around, please flag your question or post that as an answer. –  Shiki Nov 1 '12 at 17:13

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.