Cinnamonでキーボードショートカットを編集したいのですが、GUIを使用して編集（Cinnamonの設定など）すると常に競合が発生するため、オプションではありません。ここ質問がある場合に備えて、私のバグレポートは次のとおりです。グラフィカルユーザーインターフェイス（GUI）を使用せずにキーボードショートカットを編集する方法はありますか？たとえば、LXDE（またはOpenboxをウィンドウマネージャとして使用するすべてのDE）で~/.config/openbox/lxde-rc.xmlGUIを使用せずに、テキストエディタでキーボードショートカットを編集できます。 Cinnamonのキーボードショートカットを編集する同様の方法はありますか？