Where are shell/terminal settings stored?

Question

I updated my Ubuntu but it crashed during installation and I was not able to recover it (my hard drive crashed). I changed my hard drive and re-install ubuntu

I saved all my important docs (bookmark, documents etc...)

One thing I was unable to recover is the profile from my shell (I changed the color scheme, title, number of lines scrollback etc...)

Where can I save this so next time something happens I won't have to set my terminal settings all over again?

Solution 1

GNOME Terminal profiles are stored in: ~/.gconf/apps/gnome-terminal/profiles.

(You might want to back up the whole .gconf directory, though.)

Solution 2

Newer gnome-terminal (3.8+ I think) stores its config in dconf instead gconf.

gsettings list-recursively | grep -i org.gnome.Terminal

More info about the change https://askubuntu.com/a/91409/79266

Solution 3

In case someone lands here looking for a way to change the terminal settings from console (eg for vagrant provisions), the gconftool-2 command can be used. For example:

gconftool-2 --set /apps/gnome-terminal/profiles/Default/background_darkness --type=float 0.50

You can get the relevant setting keys from the ~/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xml file.

Comments

[egmont]

Please see also askubuntu.com/questions/967517/backup-gnome-terminal/967535 for relevant and more up to date answer(s).

[aki]

another partition on the same drive will not change anything correct?

[Jorge Castro]

You don't need a separate partition to do this, the installer defaults to saving data in /home.

[wisbucky]

This is now obsolete. So if your ~/.gconf is empty, see the answer by Abell for newer method using dconf/gsettings.

[egmont]

Just as the accepted answer, this one is also obsolete now.

[egmont]

Unfortunately this doesn't list the profile settings, only the global ones and the profile IDs.

[alhelal]

@lgarzo the codes are 12 bytes instead of 6 why?