Eu quero escrever uma extensão do GNOME Shell que configure alguns atalhos de teclado úteis quando carrega, em particular aqueles relacionados à troca de espaços de trabalho. Eu sei como configurá-los facilmente a partir das configurações do sistema, mas não consigo descobrir como fazer isso programaticamente.
Existem algumas opções disponíveis em org.gnome.settings-daemon.plugins.media-keys , mas nenhuma que faça o que eu quero.
Alguém sabe onde / como o GNOME salva atalhos de teclado de navegação?
Tags keyboard-shortcuts gnome3