Skip to main content

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