Comment puis-je exporter la palette de couleurs de mon terminal Ubuntu pour l'utiliser sur d'autres ordinateurs?

13

Comment puis-je exporter la palette de couleurs de mon terminal Ubuntu pour l'utiliser sur d'autres ordinateurs?

J'ai mis en place un schéma de couleurs que j'aime et je voudrais le mettre dans un dépôt git pour un chargement facile à partir d'autres machines. Une stratégie qui le ferait fonctionner dans d'autres applications de terminal, comme Konsole?

linux ubuntu vim terminal color-profiles EmpireJones
la source
SCM pour les profils de couleurs des terminaux? Je n'aurais jamais pensé! Vous pouvez également utiliser Ubuntu One ou Dropbox pour partager des fichiers entre des PC et des amis.
inverser le

Réponses:

19

Sur le système avec les couleurs et les paramètres souhaités, exécutez:

gconftool-2 --dump '/apps/gnome-terminal' > gnome-terminal-conf.xml

puis gnome-terminal-conf.xmlà votre gitrepo.

Ensuite, sur les autres machines, exécutez

gconftool-2 --load gnome-terminal-conf.xml

pour le définir.

Si vous ne savez pas comment l'utiliser git, consultez le tutoriel git et github.com pour un service d'hébergement git populaire.

Notez que cette méthode écrase tous les paramètres. Essayez de courir

gconftool-2 -R '/apps/gnome-terminal'

pour voir tous les paramètres qui seront affectés.

Mikel
la source
2
Ça ne marche plus. Veuillez vérifier ma question et voir si vous avez une solution. Je vous remercie!
Ionică Bizău