読み込み時に、特にワークスペースの切り替えに関連する便利なキーボード ショートカットを設定する GNOME Shell 拡張機能を作成したいと考えています。システム設定からこれらを簡単に設定する方法はわかっていますが、プログラムで設定する方法がわかりません。
には利用可能なオプションがいくつかありますorg.gnome.settings-daemon.plugins.media-keysが、どれも私が望む機能を備えていません。
GNOME がナビゲーション キーボード ショートカットをどこにどのように保存するか知っている人はいますか?