クリーンな Ubuntu 20.04 インストールで Gedit v3.36.2 にプラグインをインストールしようとしています。設定を開いていますが、さまざまなオプションをチェック/チェック解除しても機能しません。Gedit が聞き入れてくれません。
奇妙なことに、チェック/チェック解除できるオプションは限られています (「グリッド パターンを表示する」、「テキストの折り返しを有効にする」など)。ただし、これらのオプションを変更して「Gedit」を終了すると、設定が保存されません。
また、を使用して設定を変更しようとしましたdconf-editorが、特定の値を変更することはできません。
を実行して構成をリセットしようとしましたdconf reset -f /org/gnome/gedit/が、 が表示されますerror: The given address is empty。
Geditはリモートホスト上で実行されており、sshで接続していることに注意してください。また、sudo権限がないので、解決策はgeditの設定でチェックボックスをクリックできない適用できません。
それを解決する方法について何かアイデアはありますか?