web-dev-qa-db-fra.com

Où les paramètres de shell / terminal sont-ils stockés?

J'ai mis à jour mon Ubuntu mais il s'est écrasé lors de l'installation et je n'ai pas pu le récupérer (mon disque dur s'est écrasé). J'ai changé mon disque dur et réinstalle Ubuntu

J'ai sauvegardé tous mes documents importants (marque-pages, documents, etc.)

Une chose que je n'ai pas pu récupérer est le profil de mon shell (j'ai changé le jeu de couleurs, le titre, le nombre de lignes, le défilement, etc.).

Où puis-je enregistrer ceci afin que, la prochaine fois, quelque chose ne se produise, je n'aurai plus à configurer à nouveau les paramètres de mon terminal?

command-linegnome-terminalsettings
32
aki

Les profils de terminal GNOME sont stockés dans: ~/.gconf/apps/gnome-terminal/profiles.

(Vous pouvez cependant sauvegarder l'intégralité du répertoire .gconf.)

33
lgarzo

Le plus récent gnome-terminal (3.8+ je pense) stocke sa configuration dans dconf à la place de gconf.

gsettings list-recursively | grep -i org.gnome.Terminal

Plus d'informations sur le changement https://askubuntu.com/a/91409/79266

7
Tim Abell

Si quelqu'un atterrit ici et cherche un moyen de modifier les paramètres du terminal depuis la console (par exemple, pour les dispositions vagabondes), vous pouvez utiliser la commande gconftool-2. Par exemple:

gconftool-2 --set /apps/gnome-terminal/profiles/Default/background_darkness --type=float 0.50

Vous pouvez obtenir les clés de réglage appropriées à partir du fichier ~/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xml.

1
Wtower

Je ne pense pas que cela changera la couleur de fond du terminal gnome, etc., mais cela modifiera le comportement de BASH. Les fichiers de configuration BASH pour l'utilisateur individuel sont stockés dans le fichier .bashrc de votre répertoire personnel. Notez que puisqu'il s'agit d'un fichier de points, il est masqué par défaut. Utilisez ls -a depuis le terminal pour voir le fichier ou invoquez la visualisation des fichiers cachés dans Nautilus pour le révéler. Il existe également un fichier .profile, mais il est souvent plus facile de conserver toutes vos modifications dans .bashrc.

Maintenant apprendre à configurer BASH (ou un autre shell) est un tout autre sujet.

0
haziz