Я хочу написать расширение GNOME Shell, которое устанавливает некоторые полезные сочетания клавиш при загрузке, в частности те, которые связаны с переключением рабочих пространств. Я знаю, как легко установить их из системных настроек, но не могу понять, как сделать это программно.
В , есть несколько доступных вариантов org.gnome.settings-daemon.plugins.media-keys, но ни один из них не делает то, что мне нужно.
Кто-нибудь знает, где/как GNOME сохраняет сочетания клавиш навигации?