Quiero escribir una extensión de GNOME Shell que establezca algunos atajos de teclado útiles cuando se carga, en particular aquellos relacionados con el cambio de espacios de trabajo. Sé cómo configurarlos fácilmente desde la configuración del sistema, pero no sé cómo hacerlo mediante programación.
Hay algunas opciones disponibles en org.gnome.settings-daemon.plugins.media-keys, pero ninguna que haga lo que quiero.
¿Alguien sabe dónde/cómo guarda GNOME los atajos de teclado de navegación?