J'ai utilisé (Red Hat, Ubuntu, CentOS, autres). Ces distributions utilisent Gnome-terminal et fournissent des moyens flexibles de configurer différents profils de terminal via un menu déroulant situé dans la fenêtre du terminal, directement au-dessus des commandes qui sont généralement entrées. Ces profils permettent de modifier les propriétés de police et de couleur de différents fichiers, etc.
Où sont stockés ces différents profils pour le terminal?
Sur mon Ubuntu 16.04,
Eh bien, vous venez de citer trois distributions qui utilisent au moins deux Gnomeversions différentes . Ceci est important en raison du passage de Gnome 2à Gnome 3qui est passé de GTK 2à GTK 3et a mélangé un peu les choses.
Pour accéder à son sujet, généralement, toutes vos configurations pour votre utilisateur se trouvent $HOMEquelque part. Vous devez d'abord regarder en $HOMEsoi, puis essayer .configet .gconfcomme les deux suggèrent un répertoire de configuration.
Cela étant dit et avec une simple recherche sur Google, j'ai trouvé que cela pouvait être, ~/.gconf/apps/gnome-terminal/profilesmais votre kilométrage peut varier.
GTKla version affecteragtk-2.0etgtk-3.0configuration du répertoire cependant. Je parlais en général et pas seulement gnome-terminal.