Modifying Gnome Terminal settings without a menu

Because why store config data in a file like... literally everybody else??

By Thomas Pain
82 words

You are here: Homepage >> Blog listing >> this post

Gnome Terminal stores its configuration data using something called dconf, which is akin to the Windows registry. You cannot manually edit this configuration data, as it's stored in a binary format.

At the time of writing, I know of no other piece of Linux software uses dconf, nor do I know why the Gnome terminal does this.

If you want to edit Gnome Terminal settings as a file instead of through the UI, you need to use the dconf CLI tool.

dconf dump /org/gnome/terminal/ > ~/.gnometerminal
cat ~/.gnometerminal | dconf load /org/gnome/terminal/

Built from commit bdaee6f on 2022-09-30 at 12:07:10.
See attributions and thanks relating to this website here. A sitemap exists here.
© Thomas Pain, 2019 - 2022. Written content licensed under CC BY 4.0. Third-party buttons are property of their respective owners.

site button site rated pg developed on linux mint button w3c shit html
maybe you should make your own site