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.
Exportación
Con este ejemplo realizamos un volcado al archivo gnome-terminal-profiles.dconf:
dconf dump /org/gnome/terminal/legacy/profiles:/ > gnome-terminal-profiles.dconfCon este ejemplo restauramos un volcado del archivo gnome-terminal-profiles.dconf:
dconf load /org/gnome/terminal/legacy/profiles:/ < gnome-terminal-profiles.dconf