Después de actualizar el formulario Ubuntu 14.10 a 15.10, parece que ya no se admite el cambio de gnome-terminal
preferencias gconftool-2
. Supongo que este problema está relacionado con la migración de Gconf a GSettings .
Ahora, me gustaría cambiar algunos de mis scripts antiguos (ya que están rotos en Ubuntu 15.10) para que funcionen con dconf
/ en gesettings
lugar de gconftool-2
.
Como ejemplo, en Ubuntu 14.10 ( gnome-terminal
versión 3.6.2) podría establecer el número de columnas en el Default
perfil usando:
$ 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
Ahora, en Ubuntu 15.10, escribiendo:
$ dconf list /org/gnome/terminal/legacy/
da
profiles:/
schema-version
mientras
$ gsettings list-relocatable-schemas | grep Terminal
da
org.gnome.Terminal.SettingsList
org.gnome.Terminal.Legacy.Profile
org.gnome.Terminal.Legacy.Keybindings
La salida anterior me confunde:
- ¿Por qué hay una
/org/gnome/terminal/legacy/profiles:/
ruta paradconf
pero noorg.gnome.Terminal.Legacy.Profiles
(tenga en cuenta el finals
) ID de esquema paragsettings
? Además, vea ¿No debería dconf-editor y gsettings acceder a la misma base de datos? para más información.
Todavía en Ubuntu 15.10 (usando la gnome-terminal
versión 3.16.2), si ejecuto:
$ gsettings list-keys org.gnome.Terminal.Legacy.Profile:/ | grep default
Yo obtengo:
default-size-rows
default-show-menubar
default-size-columns
entonces hay una default-size-columns
clave que podría (?) corresponder a la default_size_columns
clave en Ubuntu 14.10, pero no hay una use-custom-default-size
clave correspondiente a la use_custom_default_size
clave en Ubuntu 14.10. Esto también me confunde.
Además, si intento ejecutar:
$ gsettings set org.gnome.Terminal.Legacy.Profile:/ default-size-columns 150
y abrir una nueva gnome-terminal
configuración default-size-columns
parece no tener efecto ya que el terminal todavía se abre con 80 columnas.
fuente
Respuestas:
La sintaxis que se utilizará con el
gsettings
comando se describe en las Preguntas frecuentes del terminal GNOME .Primero debe encontrar el identificador del perfil que desea cambiar. Por ejemplo, el identificador del
gnome-terminal
perfil predeterminado se puede obtener del esquemaorg.gnome.Terminal.ProfilesList
.Luego cambie las claves de ruta
/org/gnome/terminal/legacy/profiles:/:UUID/
de esquema deseadasorg.gnome.Terminal.Legacy.Profile:
para este perfil.Tenga en cuenta los dos puntos en la ruta anterior. No funcionará si se omiten.
Aquí hay una secuencia de comandos que utiliza lo anterior para establecer
default-size-columns
el perfil predeterminado:fuente
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