GNOME Terminal
en sí mismo no proporciona esa opción, por lo que debe operar manualmente en su base de datos.
A partir de la versión 3.8 que usa GSettings
, que a su vez (al menos en los sistemas Linux) usa dconf
. Probablemente sería más elegante ir con la gsettings
herramienta. Desafortunadamente, no pude encontrar la manera de volcar todos los datos relevantes allí, y mucho menos restaurarlos. Así que usemos dconf
.
Según este artículo , puede volcar su configuración utilizando:
dconf dump /org/gnome/terminal/ > gnome_terminal_settings_backup.txt
Restablezca (elimine) la configuración antes de cargar una nueva (probablemente no sea realmente necesaria):
dconf reset -f /org/gnome/terminal/
Cargue la configuración guardada:
dconf load /org/gnome/terminal/ < gnome_terminal_settings_backup.txt
Descargo de responsabilidad: no he probado los pasos de restauración. Recomiendo que antes de las operaciones de reinicio / carga realice una copia de seguridad de toda su base de datos dconf, que se almacena en el archivo único ~/.config/dconf/user
, utilizando una operación de copia del sistema de archivos estándar simple (en oposición a algún comando dconf). En caso de problemas, puede restaurarlo con la misma facilidad (tal vez desde otro emulador de terminal o la consola de Linux).