Exportar e importar perfiles de Gnome Terminal
La herramienta idónea para exportar e importar todos los perfiles de Gnome Terminal es dconf
.
Exportación
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