Jeg bruger Gnome-Terminal til meget af mit arbejde og kan lide at adskille mine vinduer efter farve baseret på den opgave, jeg laver, så jeg ” har oprettet flere profiler ved hjælp af GUIen til indstillinger.
Jeg fandt nogle farvetemaer online, som jeg kan lide og gerne vil bruge som base for nogle af mine profiler, inklusive de, som jeg opretter i fremtiden. Indstillinger GUI har dog kun nogle få farvetemaindstillinger, og jeg bliver nødt til at ændre alle farverne manuelt, når som helst jeg vil bruge et af disse brugerdefinerede temaer.
Er der en måde, hvorpå jeg kan tilføje brugerdefinerede temaer til min GUI for præferencer? Hvis det ikke er muligt, er der en anden måde, hvorpå jeg nemt kan indstille et brugerdefineret farvetema til en profil? Jeg ved, at jeg manuelt kan ændre farverne andre steder, som f.eks. Gconf-editor, men jeg foretrækker en nem måde at bare fortæl det farvetemaet ved navn og få det til at håndtere resten (som hvad du kan gøre med GUI).
Svar
Farvepaletterne er alle hardkodede, så det er ikke muligt at tilføje brugerdefinerede temaer til gnome-terminalens indbyggede Prefs-menu, medmindre du er villig til at lappe kildekoden og kompilere applikationen igen.
En måde at indstille på et brugerdefineret farvetema for din profil er via scripts. Se hvordan solarize gør det:
gnome-terminal-farver- soliseret
Bemærk dog, at gconf er EOL, og fremtidige udgivelser af gnome-terminal bruger gsettings backend .
Kommentarer
- Bemærk, at Solarized nu anbefaler, at du opretter en ny profil og indstiller temaet som " brugerdefineret " tema der.