GNU/Linux >> Tutoriels Linux >  >> Ubuntu

Comment stocker la palette de couleurs du terminal Gnome ?

J'utilise intensivement terminal et vim lors de l'écriture de code. J'ai créé une palette de couleurs basée sur la lisibilité et la facilité d'utilisation avec un plugin de saisie semi-automatique (obtenir des plugins de Pydiction :Tab-complete votre code Python, Auto Pairs :Insert or delete brackets, parens, quotes in pair. ).

Je souhaite sauvegarder ces paramètres afin de pouvoir les réutiliser lorsque j'ai des problèmes avec mon installation actuelle (12.04, au fait, je prévois une installation propre d'Ubuntu 12.10 en octobre). Ces paramètres sont-ils stockés dans un fichier de configuration ? Ou s'ils sont stockés dans gconf/dconf, comment puis-je écrire un script shell pour le restaurer ?

Réponse acceptée :

les détails de la palette de couleurs du terminal gnome sont stockés dans le répertoire ~/.gconf/apps/gnome-terminal/profiles/

Dans le répertoire par défaut, vous pourrez voir un fichier nommé %gconf.xml . Ce fichier stocke toutes les données relatives à la palette. Vous pouvez donc sauvegarder tous les fichiers sous le répertoire ~/.gconf/apps/gnome-terminal/profiles/

Pour afficher les configurations :ouvrez gconf-editor en utilisant dash et accédez à apps->gnome-terminal->Profiles->Default

Pour la sauvegarde de la configuration vim, utilisez simplement find ou locate commande pour trouver le fichier .vimrc et le sauvegarder


Ubuntu
  1. Comment changer la couleur de votre terminal Linux

  2. Personnaliser le Terminal sur Ubuntu 20.04 - comment faire ?

  3. Comment stocker la sortie de SHOW PROCESSLIST dans un fichier MySQL ?

  4. Comment afficher le contenu d'une sauvegarde du fichier de base de données Dconf ?

  5. Comment activer la prise en charge de l'arabe dans le terminal Gnome ?

Comment décompresser les fichiers gz sous Linux

Comment personnaliser le terminal sur Ubuntu 20.04

Comment enregistrer la sortie de la commande dans un fichier à l'aide du terminal Linux

Comment configurer l'émulateur de terminal par défaut de Gnome sur Ubuntu 18.04 LTS

Comment changer le terminal par défaut dans Ubuntu

Comment se connecter au WiFi depuis le terminal dans Ubuntu Linux