我想编写一个 GNOME Shell 扩展，在加载时设置一些有用的键盘快捷键，特别是与切换工作区相关的快捷键。我知道如何从系统设置中轻松设置这些快捷键，但我不知道如何以编程方式进行设置。
中有一些可用的选项org.gnome.settings-daemon.plugins.media-keys，但没有一个能满足我的要求。
有人知道 GNOME 在哪里/如何保存导航键盘快捷键吗？
如何使用 gsettings 或 libgnomekbd 在 GNOME 3 中设置键盘快捷键？
我想编写一个 GNOME Shell 扩展，在加载时设置一些有用的键盘快捷键，特别是与切换工作区相关的快捷键。我知道如何从系统设置中轻松设置这些快捷键，但我不知道如何以编程方式进行设置。
中有一些可用的选项org.gnome.settings-daemon.plugins.media-keys，但没有一个能满足我的要求。
有人知道 GNOME 在哪里/如何保存导航键盘快捷键吗？