Comment modifier les paramètres du terminal par configuration de fichier?
Je souhaite utiliser un éditeur de texte tel que vim pour modifier diverses options de configuration, telles que les suivantes:
Dans quels fichiers de configuration des options telles que celles mentionnées ci-dessus sont-elles stockées?
La configuration du terminal ne se trouve pas dans un fichier, mais dans un stockage gconf qui ne peut pas être édité directement. Pour modifier ces paramètres, vous devez utiliser l'interface graphique ou ouvrir gconf-editor et modifier les valeurs dans apps/gnome-terminal.
Vous pouvez également modifier ces valeurs via l'outil de ligne de commande gconftool-2.