Exportar e importar perfiles de Gnome Terminal

La herramienta idónea para exportar e importar todos los perfiles de Gnome Terminal es dconf. Con ello conseguimos guardar toda la configuración que hayamos realizado en Gnome Terminal.

Con este ejemplo realizamos un volcado al archivo gnome-terminal-profiles.dconf:

dconf dump /org/gnome/terminal/legacy/profiles:/ > gnome-terminal-profiles.dconf

Con este ejemplo restauramos un volcado del archivo gnome-terminal-profiles.dconf:

dconf load /org/gnome/terminal/legacy/profiles:/ < gnome-terminal-profiles.dconf