Ich versuche, Plugins auf Gedit v3.36.2 unter einer sauberen Ubuntu 20.04-Installation zu installieren. Ich öffne die Einstellungen, aber das Aktivieren/Deaktivieren der verschiedenen Optionen funktioniert nicht: Gedit hört nicht zu!
Das Merkwürdige ist, dass ich nur eine bestimmte Anzahl von Optionen aktivieren/deaktivieren kann (z. B. „Gittermuster anzeigen“, „Textumbruch aktivieren“), aber wenn ich diese ändere und „Gedit“ beende, werden die Einstellungen nicht gespeichert.
Ich habe auch versucht, die Einstellungen zu ändern dconf-editor, aber ich kann auch hier keine bestimmten Werte ändern.
Ich habe versucht, die Konfiguration durch Ausführen zurückzusetzen, dconf reset -f /org/gnome/gedit/aber ich erhalte die Fehlermeldung error: The given address is empty.
Beachten Sie, dass Gedit auf einem Remote-Host ausgeführt wird und ich per SSH darauf zugreife. Außerdem habe ich keine Sudo-Rechte, daher ist die Lösung inKontrollkästchen in den Einstellungen in gedit können nicht angeklickt werdenkann nicht angewendet werden.
Irgendeine Idee, wie man das lösen könnte?