Gnome-Terminal-Profile werden nicht geladen

Mein Terminal ist kürzlich abgestürzt. Nach dem Absturz wird nur das Terminalprofil geladen unnamed. Ich habe ein Standardprofil bei

/home/xxxx/.gconf/apps/gnome-terminal/profiles/Default

Es wird auch gconf-editorvon Gnome-Terminal oder den Menüoptionen in der App erkannt , aber nicht. Wie kann ich das Terminal dazu bringen, mein Standardprofil zu erkennen?

Gnome-Terminaleinstellungen, einschließlich Profile, werden jetzt in dconfstatt gespeichert gconf. Während gconffür Menschen lesbare XML-Dateien zum Speichern von Daten verwendet werden, die direkt bearbeitet werden können, müssen die dconfEinstellungen über eine Schnittstelle bearbeitet werden.

Um sie in einer GUI zu bearbeiten, installieren Sie zuerst dconf-tools( sudo apt-get install dconf-tools), führen Sie den Befehl aus dconf-editorund navigieren Sie zu

org > gnome > terminal > legacy > profiles:

Dort finden Sie alle Ihre Profile. Beachten Sie jedoch, dass der Einstellungsschlüssel eine UUID zu sein scheint und der Profilname im visible-nameSchlüssel unten angegeben ist.

Sie können Ihre Profile mit dem folgenden Befehl auflisten:

dconf dump /org/gnome/terminal/legacy/profiles:/ | grep -e "\[\:\|visible-name"

Und Sie können ein Profil über die Befehlszeile wie folgt sichern oder laden:

dconf dump /org/gnome/terminal/legacy/profiles:/:xxxxxxxx-xxxx-xxxx-xxxx-xxxxxxxxxxxx/ > profile.dconf
dconf load /org/gnome/terminal/legacy/profiles:/:xxxxxxxx-xxxx-xxxx-xxxx-xxxxxxxxxxxx/ < profile.dconf