Po aktualizacji z Ubuntu 14.10 do 15.10 wydaje się, że zmiana gnome-terminal
preferencji przy użyciu gconftool-2
nie jest już obsługiwana. Wydaje mi się, że ten problem dotyczy migracji Gconf do GSettings .
Teraz chciałbym zmienić niektóre z moich starych skryptów (ponieważ są one uszkodzone w Ubuntu 15.10), aby działały z dconf
/ gesettings
zamiast gconftool-2
.
Na przykład w systemie Ubuntu 14.10 ( gnome-terminal
wersja 3.6.2) mogłem ustawić liczbę kolumn w Default
profilu, używając:
$ 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
Teraz w Ubuntu 15.10, pisząc:
$ dconf list /org/gnome/terminal/legacy/
daje
profiles:/
schema-version
natomiast
$ gsettings list-relocatable-schemas | grep Terminal
daje
org.gnome.Terminal.SettingsList
org.gnome.Terminal.Legacy.Profile
org.gnome.Terminal.Legacy.Keybindings
Powyższy wynik myli mnie:
- Dlaczego istnieje
/org/gnome/terminal/legacy/profiles:/
ścieżka dla,dconf
ale nie dlaorg.gnome.Terminal.Legacy.Profiles
(zauważ końcowys
) schematu dlagsettings
? Zobacz też: Czy edytor dconf i gsettings nie powinni mieć dostępu do tej samej bazy danych? po więcej informacji.
Nadal w Ubuntu 15.10 (przy użyciu gnome-terminal
wersji 3.16.2), jeśli uruchomię:
$ gsettings list-keys org.gnome.Terminal.Legacy.Profile:/ | grep default
Dostaję:
default-size-rows
default-show-menubar
default-size-columns
więc istnieje default-size-columns
klucz, który mógłby (?) odpowiadać default_size_columns
kluczowi w Ubuntu 14.10, ale nie ma use-custom-default-size
klucza odpowiadającego use_custom_default_size
kluczowi w Ubuntu 14.10. To mnie też myli.
Ponadto, jeśli spróbuję uruchomić:
$ gsettings set org.gnome.Terminal.Legacy.Profile:/ default-size-columns 150
i otwórz nowe gnome-terminal
ustawienie default-size-columns
wydaje się nie mieć wpływu, ponieważ terminal wciąż otwiera się z 80 kolumnami.
źródło
Odpowiedzi:
Składnia używana z
gsettings
poleceniem jest opisana w Często zadawanych pytaniach dotyczących terminala GNOME .Najpierw musisz znaleźć identyfikator profilu, który chcesz zmienić. Na przykład identyfikator
gnome-terminal
profilu domyślnego można uzyskać ze schematuorg.gnome.Terminal.ProfilesList
.Następnie zmień żądane klucze ścieżki
/org/gnome/terminal/legacy/profiles:/:UUID/
schematuorg.gnome.Terminal.Legacy.Profile:
dla tego profilu.Zwróć uwagę na dwukropki na powyższej ścieżce. Nie zadziała, jeśli zostaną pominięte.
Oto skrypt, który używa powyższego do ustawienia
default-size-columns
domyślnego profilu:źródło
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