AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |
Back to Blog
Open in terminal dconf1/9/2024 So there is a default-size-columns key that could (?) correspond to the default_size_columns key in Ubuntu 14.10, but there is no use-custom-default-size key corresponding to the use_custom_default_size key in Ubuntu 14.10. Still in Ubuntu 15.10 (using gnome-terminal version 3.16.2), if I run: $ gsettings list-keys .Profile:/ | grep default Why is there a /org/gnome/terminal/legacy/profiles:/ path for dconf but no .Profiles (note the trailing s) schema id for gsettings? Also, see Shouldn't dconf-editor and gsettings access the same database? for more information.Whereas $ gsettings list-relocatable-schemas | grep Terminal Now, in Ubuntu 15.10, typing: $ dconf list /org/gnome/terminal/legacy/ $ gconftool-2 -set /apps/gnome-terminal/profiles/Default/use_custom_default_size \ Now, I would like to change some of my old scripts ( since they are broken in Ubuntu 15.10 ) to work with dconf/ gesettings instead of gconftool-2.Īs an example, on Ubuntu 14.10 ( gnome-terminal version 3.6.2 ) I could set the number of columns in the Default profile using: $ gconftool-2 -set /apps/gnome-terminal/profiles/Default/default_size_columns \ I guess this issue is related the Gconf to GSettings migration. After upgrading form Ubuntu 14.10 to 15.10, it seems that changing gnome-terminal preferences using gconftool-2 is no longer supported.
0 Comments
Read More
Leave a Reply. |