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?