GNOME Terminal lui-même ne fournit pas une telle option, vous devez donc opérer manuellement sur sa base de données.
À partir de la version 3.8 qu'il utilise GSettings, qui à son tour (au moins sur les systèmes Linux) utilise dconf. Il serait probablement plus élégant d’aller avec l’ gsettingsoutil. Malheureusement, je n'ai pas pu comprendre comment vider toutes les données pertinentes là-bas, et encore moins les restaurer. Alors utilisons-le dconf.
Sur la base de cet article , vous pouvez vider vos paramètres en utilisant:
dconf dump /org/gnome/terminal/ > gnome_terminal_settings_backup.txt
Réinitialisez (effacez) les paramètres avant d'en charger un nouveau (probablement pas vraiment nécessaire):
dconf reset -f /org/gnome/terminal/
Chargez les paramètres enregistrés:
dconf load /org/gnome/terminal/ < gnome_terminal_settings_backup.txt
Avertissement: je n'ai pas testé les étapes de restauration. Je recommande qu'avant les opérations de réinitialisation / chargement, vous sauvegardiez l'intégralité de votre base de données dconf, qui est stockée dans le fichier unique ~/.config/dconf/user, à l'aide d'une simple opération de copie du système de fichiers (par opposition à une commande dconf). En cas de problème, vous pouvez le restaurer tout aussi facilement (peut-être à partir d'un autre émulateur de terminal ou de la console Linux).