Wie füge ich den GUI-Einstellungen von Gnome-Terminal Farbthemen hinzu?

Ich benutze Gnome-Terminal für einen Großteil meiner Arbeit und trenne meine Fenster gerne nach Farben, basierend auf der Aufgabe, die ich gerade mache. Deshalb habe ich 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 einige 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 GUI 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, wie z. B. im gconf-Editor, manuell ändern kann, aber ich würde es vorziehen, das Farbthema einfach nach Namen zu benennen und den Rest zu erledigen (wie Sie es mit der GUI tun können). .

Die Farbpaletten sind alle fest codiert, sodass das Hinzufügen benutzerdefinierter Designs 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, benutzerdefinierte Farbthemen für Ihr Profil festzulegen, sind Skripte. Schauen Sie sich an, wie solarisiert es funktioniert:

gnome-terminal-farben-solarisiert

Beachten Sie jedoch, dass gconf ist EOL und zukünftige Versionen von gnome-terminal Willen Verwendung gsettings Backend.