Comment exporter mon profil de terminal Ubuntu 16.04 Gnome?
Le dossier ~/.gconf
est vide.
Vous aurez besoin de dconf
pour exporter et importer vos paramètres de profil. Veuillez consulter cette réponse pour plus de détails (résumé: utilisez dconf dump /org/gnome/terminal/legacy/profiles:/ | grep -e "\[\:\|visible-name"
pour répertorier les profils installés, puis importez/exportez-les via dconf dump /org/gnome/terminal/legacy/profiles:/:xx-xx-xx-xx/ > sample.dconf
et dconf load /org/gnome/terminal/legacy/profiles:/:xx-xx-xx-xx/ < sample.dconf
).
J'ai intégré les commandes d'importation/exportation du profil par défaut dans un script prêt à l'emploi. Vous pouvez le trouver ici: https://github.com/yktoo/yktools/blob/master/gnome- terminal-profile
L'utilisation est simple:
gnome-terminal-profile export /path/to/file
gnome-terminal-profile import /path/to/file