Я пытаюсь установить плагины на Gedit v3.36.2 под чистой установкой Ubuntu 20.04. Я открываю настройки, но включение/выключение различных опций не работает: Gedit не слушается!
Странно то, что я могу отметить/снять отметки только у определенного количества опций (например, «Отображать сетку», «Включить перенос текста»), но когда я изменяю их и выхожу из Gedit, настройки не сохраняются.
Я также пробовал менять настройки с помощью, dconf-editorно опять же, я не могу изменить конкретные значения.
Я попытался сбросить конфигурацию, запустив dconf reset -f /org/gnome/gedit/, но получаю error: The given address is empty.
Обратите внимание, что Gedit запущен на удаленном хосте, и я подключаюсь к нему по ssh. Также у меня нет прав sudo, поэтому решение найдено вНевозможно установить флажки в настройках geditне может быть применено.
Есть идеи, как это решить?