Ich benutze Gnome-Terminal für einen Großteil meiner Arbeit und trenne meine Fenster gerne nach Farben, basierend auf der Aufgabe, die ich „mache, also ich“. Wir haben mehrere Profile über die GUI „Einstellungen“ eingerichtet.
Ich habe online einige Farbthemen gefunden, die mir gefallen und die ich als Grundlage für einige meiner Profile verwenden möchte, einschließlich aller Profile, die ich in Zukunft erstelle. Die GUI „Einstellungen“ verfügt jedoch nur über wenige Optionen für Farbthemen, und ich müsste jedes Mal, wenn ich eines dieser benutzerdefinierten Themen verwenden möchte, alle Farben manuell ändern.
Gibt es eine Möglichkeit, benutzerdefinierte Themen zu meiner Benutzeroberfläche für Einstellungen hinzuzufügen? Wenn dies nicht möglich ist, gibt es eine andere Möglichkeit, ein benutzerdefiniertes Farbthema für ein Profil festzulegen. Ich weiß, dass ich die Farben an anderen Stellen, z. B. im gconf-Editor, manuell ändern kann, aber ich würde es vorziehen, eine einfache Methode zu verwenden Sagen Sie ihm das Farbthema mit Namen und lassen Sie es den Rest erledigen (wie Sie es mit der GUI tun können).
Antwort
Die Farbpaletten sind alle fest codiert, sodass das Hinzufügen benutzerdefinierter Themen zum integrierten Einstellungsmenü des Gnome-Terminals nur möglich ist, wenn Sie bereit sind, den Quellcode zu patchen und die Anwendung neu zu kompilieren.
Eine Möglichkeit zum Einstellen Ein benutzerdefiniertes Farbthema für Ihr Profil erfolgt über Skripte. Schauen Sie sich an, wie solarisieren dies tut:
gnome-terminal-farben- solarisiert
Beachten Sie jedoch, dass gconf EOL ist und zukünftige Versionen von gnome-terminal das Backend gsettings verwenden .
Kommentare
- Beachten Sie, dass Solarized jetzt empfiehlt, ein neues Profil zu erstellen und das Thema als benutzerdefiniertes " Thema dort.