Auf meinem "Wohnzimmer-Rechner", der irgendwann mit Version 16.04 sein leben begann und immer wieder upgedated wurde (aktuell läuft 19.10) gibt es nun ein Problem in Gnome: Verschiedene Einstellungen lassen sich zwar vornehmen, sie werden aber nicht übernommen und gespeichert.
Beispiel 1:
Ich versuche ein Element im Dock zu löschen oder hinzu zu fügen. Das gewünschte Element verschwindet nicht bzw. bleibt nach Schließen der Anwendung nicht erhalten.
Beispiel 2:
Das System verwendet aktuell das Englische Tastaturlayout. Unter Einstellungen "Regionen und Sprache" ist derzeit keine Eingabequelle vorhanden. Wenn ich Deutsch als Tastatursprache einstelle kann ich die Einstellung zwar aktivieren ("Hinzufügen"-Schalter), allerdings taucht die Sprache dann nicht in den Eingabequellen auf.
Was ist hier kaputtt? Und wie kann ich das Problem beheben?