Nach dem Upgrade von Ubuntu 14.10 auf 15.10 wird das Ändern von Einstellungen gnome-terminal
mit scheinbar gconftool-2
nicht 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
/ gesettings
statt mitzuarbeiten gconftool-2
.
Beispielsweise gnome-terminal
konnte ich unter Ubuntu 14.10 ( Version 3.6.2) die Anzahl der Spalten im Default
Profil 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,dconf
aber keineorg.gnome.Terminal.Legacy.Profiles
(beachten Sie die nachfolgendes
) Schema-ID fürgsettings
? Siehe auch Sollte nicht dconf-editor und gsettings auf dieselbe Datenbank zugreifen? für mehr Informationen.
Immer noch in Ubuntu 15.10 (mit gnome-terminal
Version 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-columns
Schlüssel, der (?) dem default_size_columns
Schlüssel in Ubuntu 14.10 entsprechen könnte, aber es gibt keinen use-custom-default-size
Schlüssel, der dem use_custom_default_size
Schlü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-terminal
die einstellung von default-size-columns
scheint keine wirkung zu haben da das terminal noch mit 80 spalten öffnet ..
quelle
Antworten:
Die mit dem
gsettings
Befehl 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-terminal
Standardprofils aus dem Schema abgerufen werdenorg.gnome.Terminal.ProfilesList
.Ändern Sie dann die gewünschten Schlüssel für den Pfad
/org/gnome/terminal/legacy/profiles:/:UUID/
des Schemasorg.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-columns
das Standardprofil festzulegen:quelle
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:0/ default-size-columns 150
gsettings set org.gnome.Terminal.Legacy.Profile:/:0/ default-size-columns 150