Wie ändere ich die Profileinstellungen von gnome-terminal mit dconf oder gsettings?

Nach dem Upgrade von Ubuntu 14.10 auf 15.10 wird das Ändern von Einstellungen gnome-terminalmit scheinbar gconftool-2nicht mehr unterstützt. Ich denke, dieses Problem hängt mit der Migration von Gconf zu GSettings zusammen .

Jetzt möchte ich einige meiner alten Skripte (da sie in Ubuntu 15.10 fehlerhaft sind) ändern, um mit dconf/ gesettingsstatt mitzuarbeiten gconftool-2.

Beispielsweise gnome-terminalkonnte ich unter Ubuntu 14.10 ( Version 3.6.2) die Anzahl der Spalten im DefaultProfil folgendermaßen festlegen :

$ gconftool-2 --set /apps/gnome-terminal/profiles/Default/default_size_columns \
            --type=int 140
$ gconftool-2 --set /apps/gnome-terminal/profiles/Default/use_custom_default_size \
            --type=bool true

In Ubuntu 15.10 geben Sie nun Folgendes ein:

$ dconf list /org/gnome/terminal/legacy/

gibt

profiles:/
schema-version

wohingegen

$ gsettings list-relocatable-schemas | grep Terminal

gibt

org.gnome.Terminal.SettingsList
org.gnome.Terminal.Legacy.Profile
org.gnome.Terminal.Legacy.Keybindings

Die obige Ausgabe verwirrt mich:

• Warum gibt es einen /org/gnome/terminal/legacy/profiles:/Pfad für, dconfaber keine org.gnome.Terminal.Legacy.Profiles(beachten Sie die nachfolgende s) Schema-ID für gsettings? Siehe auch Sollte nicht dconf-editor und gsettings auf dieselbe Datenbank zugreifen? für mehr Informationen.

Immer noch in Ubuntu 15.10 (mit gnome-terminalVersion 3.16.2), wenn ich Folgendes ausführe:

$ gsettings list-keys org.gnome.Terminal.Legacy.Profile:/ | grep default

Ich bekomme:

default-size-rows
default-show-menubar
default-size-columns

Es gibt also einen default-size-columnsSchlüssel, der (?) dem default_size_columnsSchlüssel in Ubuntu 14.10 entsprechen könnte, aber es gibt keinen use-custom-default-sizeSchlüssel, der dem use_custom_default_sizeSchlüssel in Ubuntu 14.10 entspricht. Das verwirrt mich auch.

Auch wenn ich versuche zu laufen:

$ gsettings set org.gnome.Terminal.Legacy.Profile:/ default-size-columns 150

und öffne ein neues gnome-terminaldie einstellung von default-size-columnsscheint keine wirkung zu haben da das terminal noch mit 80 spalten öffnet ..

Die mit dem gsettingsBefehl zu verwendende Syntax wird unter Häufig gestellte Fragen zum GNOME-Terminal beschrieben .

Zuerst müssen Sie die Kennung des Profils ermitteln, das Sie ändern möchten. Beispielsweise kann die Kennung des gnome-terminalStandardprofils aus dem Schema abgerufen werden org.gnome.Terminal.ProfilesList.

Ändern Sie dann die gewünschten Schlüssel für den Pfad /org/gnome/terminal/legacy/profiles:/:UUID/des Schemas org.gnome.Terminal.Legacy.Profile:für dieses Profil.

Beachten Sie die Doppelpunkte im obigen Pfad. Es wird nicht funktionieren, wenn sie weggelassen werden.

Hier ist ein Skript, das das oben genannte verwendet, um default-size-columnsdas Standardprofil festzulegen:

profile=$(gsettings get org.gnome.Terminal.ProfilesList default)
profile=${profile:1:-1} # remove leading and trailing single quotes
gsettings set "org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$profile/" default-size-columns 150