GNOME Terminal
ele próprio não fornece essa opção, então você deve operar manualmente em seu banco de dados.
A partir da versão 3.8, ela usa GSettings
, que por sua vez (pelo menos nos sistemas Linux) usa dconf
. Provavelmente seria mais elegante usar a gsettings
ferramenta. Infelizmente, não consegui descobrir como despejar todos os dados relevantes lá, muito menos restaurá-los. Então vamos usar dconf
.
Com base neste artigo , você pode despejar suas configurações usando:
dconf dump /org/gnome/terminal/ > gnome_terminal_settings_backup.txt
Redefina (limpe) as configurações antes de carregar uma nova (provavelmente não é realmente necessária):
dconf reset -f /org/gnome/terminal/
Carregue as configurações salvas:
dconf load /org/gnome/terminal/ < gnome_terminal_settings_backup.txt
Isenção de responsabilidade: não testei as etapas de restauração. Eu recomendo que, antes das operações de redefinição / carregamento, você faça backup de todo o banco de dados do dconf, que é armazenado no arquivo único ~/.config/dconf/user
, usando uma operação simples de cópia padrão do sistema de arquivos (ao contrário de alguns comandos do dconf). Em caso de problema, você pode restaurá-lo com a mesma facilidade (talvez de outro emulador de terminal ou console Linux).