4

I'm trying to do something relatively simple that most of us have wanted to do at one time or another: Save my gnome-teminal settings.

I'm running 14.04 (desktop obviously). I've realized from my research that dconf, gconf, and gsettings have over the course of the last couple version bumps, been designated to store the settings for different aspects of Gnome/Unity.

If I ask all of the questions I have about these tools. It would spiral out of control, and I don't want to learn the internals of 3 tools (8 if you count gconftool, gconftool-2, gconfd-2, dconf-service, dconf-ibus, and the dconf database as individual tools)

My new goal is consolidate all of the settings into gsettings, as it contains the most existing settings.

Has this been done?

I've determined that I can unregister gconf schemas.

I've determined that gsettings operates on the dconf database with a much friendlier interface (i.e. the finest tab completion anyone could ask for in a command-line tool.)

Would there be any major caveats, aside from the time investment, to moving config from gconf to dconf, and just creating gsettings schemas for those settings... So that I can easily save my gnome-terminal settings, and any other UI preferences I wish to adjust that come up?

[Edit:]

Thanks to the comment by @Rinzwind below, I have decided to ignore gconf and found the settings for gnome-terminal. However it consists of only 2 keys, exec-arg, and exec.

Where can I find a list of all the keys I can add?

  • I have gathered that everything is being, or has ported to gsettings for 16.04.. or some later version... however for what I'm doing, switching from upstart to systemd is another learning curve, time vacuum I'm trying to avoid. – blanket_cat Apr 18 '17 at 8:29
  • 1
    And with 18.04 you will need to learn gnome 3. Don't bother with gconf. gsettings is a command line tool for dconf so they are the same. dconf-editor is the graphical tool for dconf. – Rinzwind Apr 18 '17 at 8:30
  • Thanks for the heads up. Can't do GUI though. For what I'm working on it has to be 100% scriptable. No exceptions. Hence my decision to lean towards gsettings. – blanket_cat Apr 18 '17 at 8:32
  • I remember gnome 3. I like that decision. – blanket_cat Apr 18 '17 at 8:33
  • 3
    Possible duplicate of Backup GNOME-Terminal – moodboom Jan 26 at 20:57
-1

Okay, so I found the file containing the gnome-terminal preferences.

They are located in a (what looks like XML) file at:

/usr/share/gnome-terminal/profile-preferences.ui

Since I haven't been able to figure out how to update this file through any of the settings managers. I went manual. You can save this file, and copy over the default on a fresh install, and never have to click through the GUI again.

Interesting side note, there are also a file in the folder called terminal.xml which appears to contain the menu items, with their associated actions. Additionally there is a file called keybinding-editor.ui which appears to contain the keybindings for the terminal. Definitely going to try to modify some options. Maybe a single row of options under ALT+(some number) so that you don't have to disable menu access to use the bash keyboard shortcuts.

If I end up having the time to add the terminal preferences to dconf/gsettings, I'll follow up with a link to the script.

  • 1
    Those files contain the description of how the Preferences dialogs should look like, and not the values you set. Those files are an intrinsic part of gnome-terminal, shipped by the package manager and overwritten each time the package is upgraded. Plus, they're only writable by the root user, not by regular users. Regular users' configurations are always placed in their home directories, cannot be under system-wide locations. Backing up and restoring the files you've mentioned gets you nowhere. – egmont Oct 22 '17 at 15:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.