Ich habe verwendet (Red Hat, Ubuntu, CentOS, andere). Diese Distributionen verwenden Gnome-Terminal und bieten flexible Möglichkeiten zum Einrichten verschiedener Terminalprofile über ein Dropdown-Menü im Terminalfenster, direkt über der Stelle, an der normalerweise Befehle eingegeben werden. Mit diesen Profilen können Sie die Schriftart- und Farbeigenschaften verschiedener Dateien usw. ändern.
Wo sind diese unterschiedlichen Profile für das Terminal gespeichert?
Auf meinem Ubuntu 16.04,
Nun, Sie haben gerade drei Distributionen zitiert, die mindestens zwei verschiedene GnomeVersionen verwenden. Dies ist wichtig , weil die Bewegung von Gnome 2auf Gnome 3die aus bewegt GTK 2zu GTK 3und gemischten Dingen ein wenig.
Um zu seinem Thema zu gelangen, befinden sich im Allgemeinen alle Ihre Einstellungen für Ihren Benutzer $HOMEirgendwo. Zuerst muss man in $HOMEsich schauen und dann probieren .configund .gconfda beide ein Konfigurationsverzeichnis vorschlagen.
~/.gconf/apps/gnome-terminal/profilesDavon abgesehen und mit einer einfachen Google-Suche fand ich, dass es in sein könnte, aber Ihre Laufleistung kann variieren.
GTKVersion wirktgtk-2.0undgtk-3.0obwohl Verzeichniskonfiguration. Ich sprach im Allgemeinen und nicht nur im Gnome-Terminal.